( ) - , ( , -, ). , , , , .
. , . , , .
, , . . , .
:
1)
2)
3)
4) ,
5)
:
1) ;
2) ;
3) .
, .
.
<_>(t1, t2,..., tn)), t1,t2,...,tn
, black(cat) black, . (, " ") , .
black/1 ( black , ). , 0.
(A. Colmerauer) (R. Kowalski) (1973 .).
Turbo Prolog IBM- . 1988 . Turbo Prolog 2.0, , . Borland 1990 ., PDC PDC Prolog.
|
|
1996 . Prolog Development Center Visual Prolog 4.0. Visual Prolog , , .
Visual Prolog (VDE Visual Develop Environment), , , (Experts), (VPI Visual Programming Interface), -, , , , .
4.2. :
, , .
, . , .
:
<_>(t1,t2,...,tn)), t1,t2,...,tn
:
(, ). %
(, ). %
_ (). %
. , .
, .
:
<_>:- < >
<_ > if < >
, - . , . Ȼ, Ȼ. . . . .
:
(, ):- (, ), ().
(X):- (X, ); (X, ).
, - , , , . .