| Queries |
|
|
|
|
|
|
|
|
|
|
|
|
| l | Can bind answers
to questions to variables |
||||||||||
| l | Who is bob the
son of? (X=harry) |
||||||||||
| ?-
son(bob, X). |
|||||||||||
| l | Who is male?
(X=bob, harry) |
||||||||||
| ?-
male(X). |
|||||||||||
| l | Is bob the son
of someone? (yes) |
||||||||||
| ?-
son(bob, _). |
|||||||||||
| – | No variables
bound in this case! |
||||||||||
| 43 |
