プロローグで学校のスケジューリングプログラムを構築しようとしています。特定のクラスを教えるために、特定の時間に教師が利用できるかどうかを確認したい。許容されるタイムスロットを確認してください。等
これまでに私が書くことができたものは次のとおりです。
teacher(ali, bio).
teacher(sara, math).
teacher(john, lit).
teacher(milton, arabic).
% a, b, c, d, e, f, g
timeslot(a).
timeslot(b).
% class has a name and a grade
class(bio, 1).
class(math, 1).
class(lit, 2).
class(arabic, 2).
クラスが 2 つのタイムスロットを持つことができないことを確認するにはどうすればよいですか?
Prolog を少し使用しましたが、これについてどうすればよいかわかりません。より頻繁に解決される論文や同様の問題など、その他のヒントや指示をいただければ幸いです。