title: Prolog
text: Prolog (d'o francés Programation et Logique) ye un luengache de programazió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
  
  Luengaches de programación