Paradygmaty programowania/Ćwiczenia 14: Programowanie w logice w Prologu II: Różnice pomiędzy wersjami
m (→Zadanie 1) |
|||
Linia 2: | Linia 2: | ||
Rozważmy następujący program: | Rozważmy następujący program: | ||
− | + | p(X, Y) :- q(X, Y). | |
p(X, Y) :- q(X, Z), p(Z, Y). | p(X, Y) :- q(X, Z), p(Z, Y). | ||
q(a, b). | q(a, b). | ||
− | q(b, a). | + | q(b, a). |
Jaki będzie rezultat po wpisaniu celu p(a, X)? | Jaki będzie rezultat po wpisaniu celu p(a, X)? | ||
Linia 12: | Linia 12: | ||
</div></div> | </div></div> | ||
+ | |||
===Zadanie 2=== | ===Zadanie 2=== | ||
Rozważmy program: | Rozważmy program: |
Wersja z 20:33, 25 wrz 2006
Zadanie 1
Rozważmy następujący program:
p(X, Y) :- q(X, Y). p(X, Y) :- q(X, Z), p(Z, Y). q(a, b). q(b, a).
Jaki będzie rezultat po wpisaniu celu p(a, X)?
Zadanie 2
Rozważmy program:
pocz(X, Y) :- p(X, Y). pocz(X, X) :- s(X). p(X, Y) :- sukces(1), q(X), sukces(2), r(Y). p(X, Y) :- s(X), r(Y). q(a). q(b). r(c). r(d). s(e). sukces(_).
Jaki będzie rezultat po wpisaniu celu pocz(X, Y)? Co się zmieni, gdy wywołanie sukces(1) zastąpimy odcięciem? Co, gdy zastąpimy sukces(2)?
Zadanie 3
Napisać program łączący listy. Czy można go użyć do wytworzenia wszystkich par list, które po złączeniu dają wskazaną listę? Sprawdź.
Zadanie 4
Napisać program wyliczający ostatni element listy.
Zadanie 5*
Napisać program sprawdzający, czy jedna lista jest permutacją drugiej.
Zadanie 6
Napisać (jak najprostszy) program sortujący listę liczb całkowitych.
Zadanie 7*
Napisać efektywny program sortujący listę liczb całkowitych „przez złączanie” (mergesort).
Zadanie 8
Dlaczego w rozwiązaniu poprzedniego zadania pierwszy parametr ostatniej klauzuli sortujz jest zapisany jako [X1, X2 | Xo]? Co by się stało, gdyby zamienić go (wraz z pierwszym parametrem podziel) po prostu na X? Jak zaradzić tej niedogodności?