, , , ` . ` , `.
- . :
1. . .
2. , .
3. ( ), .
4. ` , - .
:
1.ϳ .
2. , ` - .
3.ֳ , .
4., , .
.
1. :
* fail . ;
* not , .
* cut - .
2. , . , case .
.
4.1.
P: - a, b.
P: - c.
: , b, .
?
) : - ,!, b.
P: - c
) : -
: - a,!, b.
4.2. - , `:
(, ): - >0.
(0, ).
(, `): - <0.
.
4.3.
(4)
(5): -!
(6).
- :
) goal: p(X).
) goal: p(X), p(Y).
c) goal: p(X),!, p(Y)
4.4. , .
5.Ҳ Ͳ '.
, , .
5.1 .
. (char), (integer, real), (symbol, string).
. Z, (_). , . ' ' . ³, , . , , .
|
|
5.1.1. ' .
, . . 2 2, abracadabra abracadabra.