Techniques de liaison de motifs dans JESS?

Question

donc je voulais créer une règle qui va comme ceci en pseudo-code

IF ?subject in ?course with ?schedule is still available 
    OR 
IF ?subject in ?course2 with ?schedule2 is still available 
THEN assert ?subject 

Je pensais que je pouvais utiliser des contraintes conjonctifs comme

(or (and (course ?course) (sched ?sched)) 
    (and (course ?course1) (sched ?sched1))) 

Je le Deftemplate et Deffacts suivant.

(deftemplate subject-information 
    (slot name) 
    (slot course) 
    (slot prerequisite) 
    (multislot sem-offered) 
    (slot priority-lvl) 
    (slot units) 
    (slot section) 
    (slot schedule) 
    (slot day)) 



(deffacts subject-info 
(subject-information 
     (name CS222) 
     (course BSIT) 
     (prerequisite Math101) 
     (prerequisite2 CS111) 
     (sem-offered 2) 
     (priority-lvl 3) 
     (units 4) 
     (section C) 
     (schedule 1330-1455) 
     (day MW) 
     (add-day TTH)) 

(subject-information 
     (name CS222) 
     (pre-requisites CS111) 
     (pre-requisites2 Math101) 
     (course BSCS) 
     (sem-offered 2 3) 
     (priority-lvl 3) 
     (units 4) 
     (section A) 
     (schedule 1200-1325) 
     (day MW))) 

J'ai deux deffacts du sujet SAME avec différentes sections pour différents cours. J'ai un étudiant avec le cours BSCS, ce que je veux, c'est que le programme trouve un cours pour BSCS qui corresponde à son emploi du temps, mais s'il n'en trouve aucun. Il va vérifier l'horaire d'une autre classe.

Answer 1

Je ne vois pas où vous avez besoin de "ou". Vous localisez les événements de cours BSCS avec un modèle, liez une planification et utilisez un modèle d'étudiant pour tester la disponibilité. Donc, je suppose que les informations sur les étudiants fournissent une liste d'horaires gratuits. - La manière dont le planning est stocké dans vos données peut convenir aux lecteurs humains, mais elle n'est pas adaptée au calcul des correspondances. Peut-être y a-t-il un ensemble constant d'heures de classe pour chaque jour, mais même si des jours correspondant dans un emplacement et des temps dans un autre emplacement sont incommodes. Et si les temps de début et de fin peuvent être quelque chose, vérifier les chaînes (!) Selon le modèle hhmm-hhmm pour un correspondant ou englobant (!) L'autre aura besoin d'une fonction.