1. . : .
* - , .
* - . .
2. :
property(obj, obj1,... objn)
relation(obj, obj1,... objn), property `, relation - `.
3. `. , likes(tom,baseball) likes, ` tom baseball. ³ :
.
left-hander(tom) left-hander, ` - tom. ³ : - .
4. :
if ,
:
relation(obj, obj1,... objn) if
relation(obj, obj1,... objn) and
....
relation(obj, obj1,... objn).
5. , :
* . ; , .
6. - ` (), ` .
- , - , .
7. , .
* ;
* , ` , , .
8. .
9. . /* */.
2.5. .
:
1. ;
2. ³ ' ' .
3. ' . ', . , , - .
,
parent(joe,X) Parent(joe,Y)...
' .
4. ' () : . , (i); , - , ().
