, , , Prolog. Shrdlu (Terry Winograd). , , " " (, ) , , .
Microplanner, , , Prolog . Microplanner, , Prolog . , "", " ", " ", "" "", , .
. Lisp Lisp, , .
Lisp . , , . Prolog, .
, , , , , , . , Fortran . ( ) , , , 80- .
Fortran , . , Lisp , Lisp (, Common Lisp) , , . Prolog, , , , .
|
|
, Prolog , , , .
, . , , . Prolog "" (grandfather), , (father) (parent). grandfather : grandfather t X, Z):- father) X, Y), parent (Y, Z),
Prolog grandfather , , . , Prolog, .
?- grandfather ( X, patrick). X = james/ X = carl
Prolog , , father parent. , . , , .
, Prolog, , . , , , , , . , , . , , , .
, , , , . , , , .
, Prolog, -, . , Prolog, , : , , , . .
|
|
, , . , , . , , , , .
Prolog , , . , , , .
, Prolog , , :
;
;
;
;
, Prolog, .
, , .
, , , , , . , , , Prolog.