CLP(B) stands for Constraint Logic Programming over Boolean variables.
I want to implement the following predicates in prolog and use them for truth-tables: and/2, or/2, nand/2, nor/2, xor/2 Maybe …