<div class="notebook">

<div class="nb-cell markdown" name="md1">
# Exemple introductif : la famille Ingalls

# Déclaration des faits

De la famille Ingalls, nous conserverons uniquement les faits suivants représentant des liens de parentés direct (parent&lt;-&gt;enfant) :
</div>

<div class="nb-cell program" name="p1">
%parent(X,Y) signifie que X est l'un des parents (père ou mère) de Y

parent(lansford,peter).
parent(peter,alice).
parent(alice,altha).
parent(peter,ella).
parent(ella,earl).
parent(lansford,charles).
parent(charles,mary).
parent(mary,adam).
parent(charles,laura).
parent(laura,rose).
parent(charles,carrie).
</div>

<div class="nb-cell markdown" name="md2">
On peut faire quelques requêtes :
</div>

<div class="nb-cell query" name="q1">
parent(laura,X).
</div>

</div>