, . , , :
;
, ;
, , , , , , . .
, , , .
, , , . , , , . (), , , .
, . , , .
:
;
;
-.
. .
- . , , : , . , - , . , , , , , .
, . , 10-15 . : Fortran Algol - , - , Cobol , Basic . . , , .
60- . - . PL/1, Pascal, C, C+, Modula, Ada. , , - .
|
|
- (Prolog, Lisp, Mercury, KLO .) , , . . .
́ ́ , , , . .
Prolog.
Planner (. (Ehud Shapiro) [1989]), ( ). Planner , ( backtracking) , . Prolog, , , Planner.
Planner QA-4, Popler, Conniver QLISP. Mercury, Visual Prolog, Oz Fril Prolog. Planner , (backtracking), , Ether (. [1989]).
- (Object Pascal, C++, Java, Objective Caml. .). - - . - () , , (), . .
- " " , . , () .
- :
;
;
;
;
.
() ( ).
|
|
. , () .
.
.
, .
- , :
;
.
(. . , ). () , , .
. .
- , , .
- , , , , . , .