Прав извод (forward chaining)
derive :-
derive_fact(P),
write('Derived: '),
write(P), nl,
derive.
derive.
Previous slide
Next slide
Back to first slide
View graphic version