goal:owns(john,X).
X ' ': , , ', . owns. :
Owns (symbol,symbol).
, :
Owns(name,articles)
, ' articles domains :
Domains
articles=book(title,author);
Horse(name)
title,author,name=symbol
"". : ; . ' title, uthor, name , .
' . , articles , . , bankbook(balance). ' articles :
articles =book(title,author); horse(name); boat; bankbook(balance)
title,author,name = symbol
balance =real
, , owns, ' articles:
Domain
articles = book(title, author);
Horse(name);
Boat;
Bankbook(balance)
title, author, name = symbol
balance = real
Predicates
Owns(name,articles)
Clauses
owns(john, book("A friend of the family", "Irwin Shaw")).
Owns(john, horse(blacky)).
Owns(john, boat).
Owns(john, bankbook(1000)).
. :
goal: owns(john,Thihg).
:
Thing = book('A friend of the family','Irwin Shaw')
Thing = horse(blacky)
Thing = boat
Thing = bankbook(1000')
Solutions
, ' :
domain object= alter1(D,D,...);
Alter2(D,D,...);
...
alter1 alter2 , . (D,D,...) , , . ³ :
1. .
2. .
5.5. '.
' . ,
book('The Ugly Duckling'.'Andersen')
, , , '. ', :
book('The Ugly Duckling',author('Hans Christian','Andersen'))
':