Niech będzie dany zbiór klauzul: 𝑝(𝑢, 𝑏); 𝑝(𝑑, 𝑢); 𝑝(𝑌, 𝑍) ← 𝑝(𝑌, 𝑋), 𝑝(𝑋, 𝑍);
𝑝(𝑌, 𝑋) ← 𝑝(𝑋, 𝑌). Przy użyciu refutacji oraz założenia kolejności wyboru klauzul, pokaż że
𝑝(𝑑, 𝑏) konsekwencją tego zbioru. Narysuj odpowiednie drzewo SLD.
Niech będzie dany zbiór klauzul
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij