, , , , . , .
Prolog , .
- () - . - , , . - , .
- . - , Ada 95, Java C++.
- .
: , , , .
( , ), ( ) , , , .
- , , .
.
. , ( , ). , , , .
, , . , . . , . - , .
, () . , , . ( ).
|
|
- , .
() . , - . . .
- , . - , . .
. , . , (), , , .
- , , , .