Queries
l
Prolog is interactive; you load a KB and then ask
queries
l
Composed at the ?- prompt
l
Returns values of bound variables and yes or no
?- son(bob, harry).
yes
?- king(bob, france).
no
39