Обратен извод (backward chaining)
is_true(P,[fact(P)]) :-
fact(P), !.
is_true(P,[rule(if Condition then P)|L]) :-
if Condition then P,
is_true(Condition,L).
Previous slide
Next slide
Back to first slide
View graphic version