我在 SWI-Prolog 中定义变量时遇到一些奇怪(或不那么奇怪)的问题。示例:
我想做如下的事情:
:- initialization(main).
main :-
X = listing(main),
write(X).
但它只是打印“listing(main)”
最佳答案
也许，使用另一个临时谓词而不是 main/0...
?- with_output_to(atom(X), listing(pattern)), write(X).
gram:pattern(A, B, C) :-
dig(A, B, C).
gram:pattern(A+C, B, E) :-
ten(A, B, D),
dig(C, D, E).
...
关于prolog - 访问 prolog 中的程序列表，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/30820293/