Professional Documents
Culture Documents
""
" PROgramming LOGic
" " Artificial Intelligence" (A I
.
)(AI
" " " "
.
.
.LISP
:
" "
,
.
.
- :
.
- :
.
- :
.
- . - :
.
,
.
,
.
.
, .
.
**************************************************
..
? Is Tom a male
facts ..
.(male(tom
) (
YES
Yes
) (male(tom tom .. atom
.. .. Tom ..
.(male(tom .. yes
no
.(male(ali
.. no .. .. ali is a male ..
..
.1
.2 Facts Prolog
.3 fact
.4 ) atoms ( ..
tom, apple, jane,test,montecristo
.5
.. ..
.. B2 -C6
.6 ..
..
) (
? Who is the father of ted
.(father(Who,ted
..
.. ..
.. ..