このルールのすべての結果をプログラムのファクトとして入力する方法、またはこれらの結果をファクトとしてどのように処理できますか？

Question

%Examples 
%course_meetings(maths4,tutorial,t07,khaled_mohamed,'tutorial for t07') 
%days([sat,sun...]) 
%tutorialrooms([c6301,b4108,c2201,c2301,c2202,c2203]) 
%slots([1,2,3,4,5]) 



day_tut(Day,Slot,Place,Course,Group,Instr,Descr):- 
    days(X),member(Day,X), 
    tutorialrooms(X1),member(Place,X1), 
    course_meetings(Course,tutorial,Group,Instr,Descr), 
    slots(X2),member(Slot,X2). 

私はAssertを使うと思っていましたが、プロローグには新しくなっていますが、最終的には各グループのスケジュールを作成したいと思っています。チュートリアルを先行する必要があります...

Answer 1

私の提案はSWI-Prologから来ています。

アサート/ 1を使用して動的データベースにデータを挿入できます。あなたはout/1を使ってLindaテーブルにタプルを置くか、db_assertのようなさらに高度な機能を使うことができます。

しかし、このデータを記録するのは難しいのですが、その理由は何ですか？どのようにスケジューリングの問題に取り組もうとしているかによっては、このレコーディング戦略が必要な場合や、そうでない場合もあります。