Prolog 1 : Senarai

Takrifkan predikat atau hubungan
           elemen(X,[S],T).
supaya T ialah baki elemen yang tinggal dalam senarai S setelah dikeluarkan
elemen X dalam senarai S.
Contoh : elemen(c, [b,a,c,k], [b,a,k]).

Penyelesaian:

elemen(Head, [Head | Tail], Tail).
elemen(Remove_Elemen, [Head | Tail], [Head | New_Tail]):-
    elemen(Remove_Elemen, Tail, New_Tail).

Muaturun