LOOM
Définition de classes
- (defconcept ROUTE :is-primitive (:and thing (:the DEPART MOUILLAGE) (:the ARRIVEE MOUILLAGE) (:all CATEGORIE_AUTORISEE CATEGORIE_NAVIGATION) (:the PRONFONDEUR_MIN (:through 0 +INFINITY)) (:the LONGUEUR_TOTALE (:through 0 +INFINITY)) (:at-least 1 PART) (:at-least 1 MAP)))
- (defrelation PART :domain ROUTE :range SEGMENT-ROUTE)
- (defrelation MAP :domain ROUTE :range CARTE)