. . , "John likes Mary" likes, john mary (, , "John likes Mary" , "Mary likes John").
, .
() . "John likes Mary":
likes(john, mary).
likes, , john mary. , ; .
, . . . "John likes Mary" likes(john, mary), likes(mary, john); , , likes(john, mary) , likes(mary, john).
, :
female(mary).
gives(john, book, mary).
, ; . . "John gives Mary a book", "John gives Mary the book". , .
; , :
male(john).
likes(john, mary).
likes(jane, john).
likes(alice, john).
( ) . . .
, . . . , , . , "Does John like Mary?" :
?- likes(john, mary).
"?-" , ( ), "likes(john, mary)" (. . , ). .
, . , ,
yes
"yes" ( "true") , likes(john, mary) . . . , , , "John likes Mary".
:
?- likes(john, jane).
, ,
no
"no" , , . ., , , "John likes Mary". , , , "John doesn't like Mary" ( : ).
, , "no", ( ).