Replace @is with @unique #5
Description
@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.