

Convenience

KEY

P , Q       P and Q.

P ; Q       P or Q.

true        Always succeeds.

X = Y       Defined as if by the clause " Z=Z. "; i.e. X and Y are unified.