Prolog (d'o francés Programation et Logique) ye un luengache de programación lochico y entrepitato, pro popular en o campo d'investigación en Intelichencia Artifcial.
Eixemplo
%% declarazions
paide('chuan', 'maria'). % chuan ye pai de maria
paide('pablo', 'chuan'). % pablo ye pai de chuan
paide('pablo', 'orosia').
paide('carlos', 'marta').
% A ye fillo de B si B ye pai d'A
fillode(A,B) :- paide(B,A).
% A ye paye de B si A ye pai de C y C ye pai B
payede(A,B) :- paide(A,C), paide(C,B).
% A y B son chirmans si o pai d'A ye tamién o pai de B y si A y B no son o mesmo
chirmande(A,B) :- paide(C,A), paide(C,B), A \== B.
% A y B son familiars si A ye pai de B u A ye fillo de B u A ye chirmán de B
familiarde(A,B) :- paide(A,B).
familiarde(A,B) :- fillode(A,B).
familiarde(A,B) :- chirmande(A,B).
%% consultas
% chuan ye chirmán d'orosia?
?- chirmande('chuan', 'orosia').
yes
% carlos ye chirmán de chuan?
?- chirmande('carlos', 'chuan').
no
% pablo ye paye de maria?
?- payede('pablo', 'maria').
yes
% maria ye paye de pablo?
?- payede('maria', 'pablo').
no