% first example swipl session from class (Week 2 Lecture 2, 8-30-12)

% ...a little cut...

?- true, true.
true.

?- true, false.
false.

?- false, true.
false.

?- false, false.
false.

?- true; true.
true ..

?- true; true.
true ;;
true.

?- false; true.
true.

?- true; false.
true ..

?- false; false.
false.

?- halt.