Обратен извод (backward chaining)
is_true(P and Q,L) :-
is_true(P,L1),
is_true(Q,L2),
append(L1,L2,L).
is_true(P or Q,L) :-
is_true(P,L);
is_true(Q,L).
is_true(not P,[not(P)]) :-
\+ is_true(P,_).
Previous slide
Next slide
Back to first slide
View graphic version