..
2202 . / , . . 2000. 26 .
, .
.
.
: .. , -Ĕ.
Ó , 2000
..
. .
, -. , .
, , . , .
2202 . , .
, . .
, , .
: , .
1.
,
.
1. .
2. , .
3. , .
- , , - , , , , , , , , . , , , .
|
|
, , . . -.
, , , () , . .
:
- (), , ;
- (MB), ;
- (), .
() . . , , . MB. ( ) :
- ;
- , ( );
- .
, , . 1 (LAB01.PRO).
database, ().
sst (),
.
retract (),
, , .
(not), , , .
1. LABO1.PRO (. . 1).
2. LABO1.PRO , , , wr_bd:- dpositive(P,Q),
write("dpositive(",P,", ",Q,")"), nl,
fail.
3. LAB1.PRO , , . 2.
1. - .
2. LABO1.PRO .
3. .
2
,
1. , .
2. , .
, , , -
|
|
; MB ; , , .
, , . 1 -.
, consultation () exit from the system ( ). , . . , Sorry. I cant help you (, ).
, rule (), cond (). rule ; cond- (), . (), , yes () no().
: go rule cond . check (). , . , . , , . , . , . go .
: : , ; ; (yes no) .
1. LABO2.PRO (. . 1).
2. LAB2.PRO , , . 2.
1. - .
2. LABO2.PRO .
3. .