使用member / 2謂詞在prolog中創建事件列表

Question

如果Events是應該為組G安排的事件列表，則group_events(G,Events)為true。 我的代碼如下：

studying(csen602, group2MET).

event_in_course(csen602, quiz1, quiz).
event_in_course(csen602, quiz2, quiz).
event_in_course(csen602, quiz3, quiz).

group_events(G,[Name|T]):-
    studying(Course,G),
    event_in_course(Course,Name,_),
    \+member(Name,T),
    group_events(G,T).


group_events(G,Events):-
    member(Name,Events),
    studying(Course,G),
    event_in_course(Course,Name,Type).

使用查詢group_events（group2MET，E）時得到的是：

E = [quiz1|_G567]
E = [quiz2|_G502]
E = [quiz3|_G502]
E = [_G501, quiz1|_G505]
E = [_G501, quiz2|_G505]
E = [_G501, quiz3|_G505]

等等...

我認為問題在於member/2謂詞所以任何幫助如何解決這個問題？

Answer 1

問題在於您不是從一個空列表開始，而是從一個未實例化的列表開始，向其開始添加要研究的事件並正在檢查其成員資格。
但是該列表尚未被實例化，因此它的尾部以及您從中獲得的任何成員也將未被實例化。

---

您想找到所有需要研究的事件，所以一個好的方法是首先定義一個study_event(G, E) ，該事件定義一個需要由組G研究的事件E ，然后使用findall/3查找所有此類事件。

Answer 2

我想你想要的

group_events(G,Events):-
    setof(Event, Course^Desc^(
      studying(Course,G),
      event_in_course(Course,Event,Desc)
    ), Events).