Niech będzie dany zbiór klauzul
: 26 mar 2024, 08:36
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.
𝑝(𝑌, 𝑋) ← 𝑝(𝑋, 𝑌). Przy użyciu refutacji oraz założenia kolejności wyboru klauzul, pokaż że
𝑝(𝑑, 𝑏) konsekwencją tego zbioru. Narysuj odpowiednie drzewo SLD.