@unique will be unproven if given 1 element and is only proven if every element given to it is unique from any other element given to it.
@is would be expressed as is(A, B) :- not @unique(A, B). which is not a valid rule in and of itself, and thus would actually have to be constrained by the problem.
@uniquewill be unproven if given 1 element and is only proven if every element given to it is unique from any other element given to it.@iswould be expressed asis(A, B) :- not @unique(A, B).which is not a valid rule in and of itself, and thus would actually have to be constrained by the problem.