infa wstępny

Rozważmy następującą definicje predykatu ˛ member/2: member (H , [ H | T ] ) . member (H , [ _ | T ] ): − member (H, T ) . Dla wywołania member(X,[0,1,2,1,3,1,4]) interpreter zwróci:

Rozważmy następującą definicje predykatu append/3 do łączenia list: append([ ],L,L). append([H | T],L,[H | TL]):− append(T,L,TL) . Dla wywołania append(L1,L2,[1,2,3,4,5]). interpreter zwróci:

Rozważmy następującą definicje predykatu append/3 do łączenia list: append([ ],L,L). append([H | T],L,[H | TL]):− append(T,L,TL) . Aby pobrać ostatni element zadanej listy L (np. L = [1,2,3,4] i powiązać go ze zmienną E (np. E=4) należy zastosować zapytanie:

Rozważmy następujący program w PROLOGU: p(a). p(b). p(c). p(a). p(c). run :− p(X), assert(q(X)), fail. Po skompilowaniu i wykonaniu programu z wywołaniem run:

Rozważmy następujący program w PROLOGU: ln(0, [ ]) :− ! . ln(N, [ N | L]) :− N1 is N−1, ln (N1, L) . Po skompilowaniu i wykonaniu programu z wywołaniem ln(7,L):

Rozważmy następujący program w PROLOGU: s1(X): −not (p(X)) , ! ,q(X) . s2(X): − q(X), not (p (X)). p(a). q(b) . Po skompilowaniu i wykonaniu programu: