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

ok(P) :-

fact(P).

ok(P and Q) :-

ok(P),

ok(Q).

ok(P or Q) :-

ok(P);

ok(Q).

Previous slide

Next slide

Back to first slide

View graphic version