10 Mar 2005
CS 3243 - FOL and Prolog
39
Queries
lProlog is interactive; you load a KB and then ask queries
lComposed at the ?- prompt
lReturns values of bound variables and yes or no
l
?- son(bob, harry).
yes
l?- king(bob,
france).
no