prolog - 如何将此规则的所有结果作为事实输入程序中，或者我如何将这些结果作为事实处理？

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 但我是新来的 prolog 不确定它是如何工作的想法是最终我想根据某些规则为所有组创建一个时间表例如每个组应该休息一天并且讲座应该先于教程.. .

Answer 1

我的建议来自 SWI-Prolog。

您可以使用 assert/1 将数据插入动态数据库；您可以使用 out/1 将元组放在 Linda 表上，或者使用更高级的功能，例如 db_assert。

然而，问题不是如何记录这些数据，而是为什么要这样做。根据您打算如何解决调度问题，您可能需要这种或那种记录策略，或者甚至不需要。