Prolog (d'o francés Programation et Logique) ye un lenguache de programación lochico y interpretau, prou popular en o campo d'investigación en intelichencia artificial.
Eixemplo %% declaracions
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
Categoría:Lenguaches de programación