Package org.projog.core.predicate.builtin.reif

package org.projog.core.predicate.builtin.reif

Predicates that provide reification functionality.

Related Packages

Package	Description
org.projog.core.predicate.builtin	Provides built-in predicates to provide functionality not possible in pure Prolog.

Classes

Class	Description
Dif	dif(X,Y) - enforces restriction that the two given terms are never equal.