Did you know ... Search Documentation:
Predicate mkdisj/3
 mkconj(A, B, Conj) is det
 mkdisj(A, B, Disj) is det
Create a conjunction or disjunction from two terms. Reduces on true (mkconj/2) and false (mkdisj/2). Note that a false encountered in a conjunction does not cause the conjunction to be false, i.e. semantics under side effects are preserved.

The Prolog `, and ;` 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)
Tags are associated to your profile if you are logged in
Tags: