Обратен извод (backward chaining)
is_true(P,[asked(P)]) :-
\+ (if _ then P),
\+ (P = (_ and _)),
\+ (P = (_ or _)),
\+ (P = (not _)),
write('Is '),write(P),write('true(y/n):'),
read(y),
assertz(fact(P)).
Previous slide
Next slide
Back to first slide
View graphic version