我需要在再次触发规则之前检查该规则是否已经被“触发”过。我的意思是在断言一个新事实之前，我需要知道在前一个循环迭代中是否已经断言了相同的事实。

我尝试使用列表，但我想它们对我的问题来说并不那么“友好”。我还能用什么来做这件事呢？

回答：

我将上面的评论重新表述为答案，以便进一步阐述。

您可以考虑使用失败驱动的循环，这种循环在生成一个解后会失败，并迫使Prolog回溯并探索其他可能性：

failure_driven_loop(Info):- generate(Info,Term), fail. failure_driven_loop(Info). 

（示例来自Paul Brna的书）。在这个例子中，Term记录一个解，generate/2为给定的Info生成解。需要第二个子句来使循环在所有解都被用尽时成功。

一旦生成一个解，第一个子句就会失败并执行回溯，即Prolog将尝试为generate(Info,Term)寻找不同的证明，这通常涉及到generate/2本身或由generate/2直接或间接调用的谓词的不同子句。如果您希望确保generate/2一旦使用了它的一个子句就不应该尝试重用相同的子句，您应该添加切割，即，不是

generate(Info,Term) :- solve_somehow(Info,Term).generate(Info,Term) :- solve_in_some_other_way(Info,Term).

您应该写

generate(Info,Term) :- solve_somehow(Info,Term), !.generate(Info,Term) :- solve_in_some_other_way(Info,Term), !.

由generate/2找到的解可以用assert记录。正如@人名所指出的，如果您的程序回溯，断言不会被撤销，因此失败驱动的循环会保留您的解：

:- dynamic solution/1.failure_driven_loop(Info):- generate(Info,Term), assert(solution(Term)), fail. failure_driven_loop(Info).