Query on Prolog Atom
female(charlie).
?- male(charlie).
true
?- male(eve).
falseQuery Against Prolog Variable
?- female(Person).
Person = alice;
Person = eve;
falseQuery Joined Query
?- female(Person),parent(Person).
Person = eve;
falsefemale(charlie).
?- male(charlie).
true
?- male(eve).
false?- female(Person).
Person = alice;
Person = eve;
false?- female(Person),parent(Person).
Person = eve;
false