Exemple de faits:
père de Pierre Jean
mère de Pierre Marie

Pour introduire un fait on utilise le bouton dialogue.

Une fenêtre de saisie s'ouvre et l'on peut taper un fait.
En appuyanr OK le fait est enregistré,
Les règles sont consultée et s'il y a des conclusions, elles sont affichées.

Pour interrompre le dialogue, taper ok sans introduire de texte.
 
 
 

- Essayer d'introduire les faits suivants: (vous pouvez copier le texte ci-dessous et coller.

père de Pierre Jean
mère de Pierre Marie

Il n'y a pas de conclusion puisque le système ne contient pas encore de règles.

Appuyez le bouton faits.

Les fais s'affichent.

1 père de Pierre Jean
2 mère de Pierre Marie

- Copiez la règle ci-dessous (entre les ------------- ).
- Placez le curseur au début de mot REGLE.
- Appuyez le bouton lisregles

----------------------------------------------
REGLE parent

si
père de ?enfant ?pere
mère de ?enfant ?mere

alors
parents de ?enfant ?pere ?mere

----------------------------------------------

- Appuyeu le bouton deduis
La conclusion s'affiche.
parent
parents de Pierre Jean Marie

Le nouveau fait est ajouté.

- Appuyez le bouton faits pour vérifier.
 

Les mots commençants par un point d'interrogation sont des variable.

La partie qui suit le mot si constitue les antécédants de la règle.

La partie suivant le mot alors constitue la conclusion.
 

La règle est vérifiée.
Si tous les antécédants qui suivent le mot si sont unifiés,
la conclusion qui suit le mot alors est ajoutée à la liste des faits.

L'unification est l'opération qui consiste à comparer un fait avec un antecedan
valeur du mot corespondant.
Si elle a une valeur, sa valeur doit être égale au mot correspondant.

- Ajoutez la régle grandpère.

regle grandpere

si
père de ?x ?y
père de ?y ?z

alors
grandpère de ?x ?z

Passez en mode dialogue et introduisez le fait:

père de Jean Jules

La conclusion s'affiche:

grandpere
grandpère de Pierre Jules

Essyez d'introduire d'autres règle et d'autre faits.

Par exemple une règle pour grandmère,

Une règle pour les frères et soeurs

(il vous faudra introduire un fait pour le sexe du genre )
sexe Pierre m
sexe Marie f

La règle sera:

si
une personne P1
est du sexe M
a les mêmes parents x et y qu' une personne P2
alors
Cette personne est le frère de P2.

Il faudra une règle du même genre pour la soeur.