|Did you know ...||Search Documentation:|
false(mkdisj/2). Note that a
falseencountered in a conjunction does not cause the conjunction to be
false, i.e. semantics under side effects are preserved.
; operators are of type
xfy, i.e. right
associative. These predicates preserve this grouping. For example,
?- mkconj((a,b), c, Conj) Conj = (a,b,c)