Oto plik main.pl:
% prolog
member1(X, [X|_).
member1(X, [_|T]) :- member1(X, T).
?- member1(X, [a, b, c, d, e]).
Uruchamiam to tak:
swipl -q -s main.pl
I otwiera mi się terminal swi. Wszystkie klauzule są zdefiniowane, mogę wywołać ręcznie procedurę member1 dla dowolnych parametrów, ale zapytanie
Zadania chętnie podeśle na pw, nie chciałbym by został po nich ślad.
O to przykład ( zadanie 1 z 10, wiele odpowiedzi możliwych)
Odcięcie:
a) uniemożliwia spelnienie celow poprzedzajacych je w czesci warunkowej klauzuli w inny , alternatywny sposob
b) powoduje natychmiastowe spelnienie celu, ktory zostal dopasowany do naglowka klauzulu je zawierajacej
c) uniemozliwia analize absolutnie wszystkich pozostalych
Pozdrawiam