Iste articlo ye en proceso de cambio enta la ortografía oficial de Biquipedia (la Ortografía de l'aragonés de l'Academia Aragonesa d'a Luenga). Puez aduyar a completar este proceso revisando l'articlo, fendo-ie los cambios ortograficos necesarios y sacando dimpués ista plantilla.

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