JESSのパターン結合技術？

Question

は、だから私は、私は私が次DeftemplateとDeffactsを持って

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

のような結合制約を使用できると思っていた擬似コード

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

にこのように書きルールを作りたかったのです。

(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))) 

私は異なるコースの異なるセクションを持つSAME対象の2つのデファクトを持っています。私はコースBSCSの学生がいる、私が欲しいのは、BSCSのスケジュールに合ったクラスを見つけるプログラムだが、見つからなければ。それは行くと別のクラスのスケジュールを確認します。

Answer 1

「または」が必要な場所が表示されません。 1つのパターンでBSCSコースイベントを特定し、スケジュールをバインドし、受講可能性をテストするために生徒パターンを使用します。

(subject-information {course == "BSCS"} 
        (schedule ?sched)) 
(student-information (free-schedule $? ?sched $?)) 

だから、僕は学生の情報がフリースケジュールのリストを提供することを想定しています。 - あなたのデータにスケジュールが保存される方法は、人間の読者にとっては正しいかもしれませんが、コンピューティング・マッチにはあまり適していません。多分、毎日のクラス時間が一定であるかもしれませんが、あるスロットで一致する日であっても、別のスロットで時間が合っていても不便です。開始時刻と終了時刻が何でもかまいませんが、パターンhhmm-hhmmに一致する文字列（！）をチェックすると、他の文字列（！）には関数が必要です。