test.pl:

%Prosoxh!! Gia na deite swsta ta ellhnika
%8a prepei to encoding ths
%selidas na einai Greek(ISO)
gonios(maria,giannhs).
gonios(giannhs,anna).
gonios(giannhs,eirhnh).
progonos(X,Z):-gonios(X,Z).
progonos(X,Z):-gonios(X,Y), 
progonos(Y,Z).

test1.pl:



mymember(X,[X|_]).
mymember(X,[_|Y]):-
mymember(X,Y).


%Μπορούμε τώρα να κάνουμε ερωτήσεις με την Prolog
% π.χ
% ?-mymember(X,[a,2,3, 22:02].
% και η Prolog τότε θα μας απαντήσει!
hanoi.pl:
metakinhse(0,_,_,_):-!.
metakinhse(N,X,Y,Z)
:-N1 is N-1, metakinhse(N1,X,Z,Y),typwse_kinhsh(X,Z),metakinhse(N1,Y,X,Z).
typwse_kinhsh(X,Z):-write(': metakinhse ena disko apo '),write(X), write(' sthn '), 
write(Z),write(' ypodoxh '),nl.
hanoi(N):- write(N), write( ' '),metakinhse(N,aristera,mesaia,dexia),write(' telos!!!').

%Μπορούμε τώρα να κάνουμε ερωτήσεις στην Prolog π.χ
%?-hanoi(3).
%όπου Ν=3 το πλήθος των δίσκων και η Prolog
%θα μας γράψει όλες τις κινήσεις του παιγνιδιού.
% Για πληροφορίες ας δούμε την σελίδα 318
%από το βιβλίο του κ. Γ. Μητακίδη
% "Από τη Λογική στο Λογικό Προγραμματισμό και την Prolog".