J'aime bien le parfum de ce Prolog dopé aux graphes conceptuels.

Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
7
8
9
10
11
12
13
14
Universal > Warrior, Weapon.
Warrior > Jedi, Battle_droid, Super_battle_droid, Cyclopedus.
Weapon > Light_saber, Blaster_gun, Mega_laser.
 
Jedi = Mace_Windu, Luminara_Unduli.
 
[Jedi:Mace_Windu]-
   -armed_with->[Light_saber],
   -attack->[Cyclopedus]-
      -armed_with->[Mega_laser],
      -military_protected_by1->[Super_battle_droid]-quantity->[Integer = 14],
      -military_protected_by2->[Battle_droid]-
         -quantity->[Integer = 10],
         -armed_with->[Blaster_gun].
Lorsque je fais la requête W -quantity-> I j'obtiens [Super_battle_droid]-quantity->[Integer = 14] mais pas [Battle_droid]-quantity->[Integer = 10].
J'ai contacté le mainteneur sans succès. Pas de réponse dans le forum non plus. C'est à se demander s'il y a un support pour ce dialecte. Dommage.