Example facts and simple queries

female(karen).

male(joseph).

male(mark).

male(greg).

male(eric).

person(karen).

a_silly_fact.

?- a_silly_fact. yes.

?- male(eric). yes.

?- female(F). F = karen.

?- male(bob). no.

?- person(mark). no.

Previous slide

Next slide

Back to first slide

View graphic version