A prolog - a termek
legáltalánosabb
egyesítésén (lásd pl. előadás
jegyzet) alapuló - kiértékelési
mechanizmusa egy példán
szemléltetve. Ezen mechanizmus ismerete sokszor nagy
segítéget jelent a hibák
elerülésében egy-egy program írásakor.
Például könnyedén
megválaszolható, miért kerül végtelen
ciklusba a prolog, ha a csalad
példában az os/2
predikátumhoz
tartozó szabályok helyett az
os(X,Y):- os(Z,Y), szulo(X,Z).
os(X,Y):-
szulo(X,Y).
szabályokat felvéve feltesszük a következő
kérdést:
os(a,C).
1. feladat:
készíts egy végtelen ciklust a természetes
számok kilistázására! <mo>
2. feladat: készíts egy végtelen
ciklust az egész
számok kilistázására! (0, 1, -1, 2, -2, 3, -3, 4, -4, ...
sorrendben) <mo>