% second example swipl session from class (Week 2 Lecture 2, 8-30-12)
% started this with:   swipl -f tryme.pl

% ....stuff cut....

?- cool(arcata).
true.

?- cool(dallas).
false.

?- cool(Where).
Where = arcata.

?- mother_of(Who1, Who2).
Who1 = thomas,
Who2 = sharon ;
Who1 = terry,
Who2 = sharon.

?- cool(Who).
Who = arcata.

?- cool(X).
X = arcata.

?- halt.