Package org.projog.core.predicate.builtin.reif
package org.projog.core.predicate.builtin.reif
-
ClassesClassDescription
dif(X,Y)- enforces restriction that the two given terms are never equal.
dif(X,Y) - enforces restriction that the two given terms are never equal.