Прав извод (forward chaining)

derive_fact(P) :-

if Condition then P,

ok(Condition),

\+ fact(P),

assertz(fact(P)).

Previous slide

Next slide

Back to first slide

View graphic version