LOOM
Requêtes
- (defun RECHERCHE_INST_NAVIRE (?NOM) (declare (special ?NOM)) (query '?x '(:and (NAVIRE ?x) (NOM_NAVIRE ?x ?NOM))))
- (defun RECHERCHE_INST_UTILISATEUR (?NAVIGATEUR ?NAVIRE) (declare (special ?NAVIGATEUR) (special ?NAVIRE)) (query '?x '(:and (UTILISATEUR ?x) (INST_NAVIGATEUR ?x ?NAVIGATEUR) (INST_NAVIRE ?x ?NAVIRE))))