A feladat gráfreprezentációja (viszafelé haladó köv.)
? p
? q
s
Tény : q ? r ? t
Szabályok: q ? r ? ? s ? p ? q ? ? r ? s ? ? p t ? s
Cél : ? p
? p
? r
t
s
t
tény
A célhoz…szabályokat illesztünk mígtényekkel nem igazoljuk...
A megoldásgráf kiértékelése...
A két nyíl
nem ugyanazt jelenti !
Előző kocka
Következő kocka
Első kocka
Grafikus változat megtekintése