1 2 3 4 5 6
person(joey). % male(X); female(X) :- person(X). male(X) :- person(X). female(X) :- person(X). bachelor(X) :- male(X), \+ married(X).
Main text adapted...
Main text adapted...