' , , - . , . , "", "", .
, , , ', , , , . , , . :
1) ,
2) ,
3) , .
. ' . . , . .
. , , , . , , ' , , :
1) ', ;
2) (), ';
3) (), ' ;
4) , '.
, . . . , , ,
, ,
X,
( , ).
. , ,
.
, ,
, ,
. , , . , ( ' ).
|
|
, , , . .
(). , . , . ³ ', . :
likes (", "").
, . :
likes ("",X) if likes ("",X).
- , - , . ' , : , , . : , ( ).
' . . , , , . : ivan, Ia", invoice_n, " ", "n_".
', . : Name, X, Invoice_n. ', ', . ' . , , (_).
( ) ', ', . , . . , likes book:
likes ("", book ("", ""))
, ' . 㳺 , .
, :
onstans
/* */
domains
/* i */
database
/* */
predicates
/* */
goal
/* _1, _2, .. */
clauses
/* ( ) */
' predicates clauses. , . , , :
|
|
/* 1.1 */
predicates
likes (string,string)/* */
clauses
likes ("",""). /* */
likes ("","")./* */
likes ("",X) if likes ("",X)./* */
goal
likes (Who,"").
likes , , . -, , /*... */ . , goal. , , ' Who.
- , predicates clauses, , , .
, .
Global domains - domains.
Global predicates predicates.
.
.