prolog刪除子句頭

Question

我正在使用yap。 假設我有這種情況：

p（x，y）： - q（x），f（x，y），g（x）。

我需要使用命令列表（p）將謂詞的主體放在列表中。

預期輸出應該是： [q，f，g]。

我該怎麼做？

Answer 1

與服務謂語

enum_conj((A, B),X) :- !, (enum_conj(A, X) ; enum_conj(B, X)). 
enum_conj(X, X). 

我們可以做

?- clause(p(_, _), P), setof(F, J^A^(enum_conj(P, J), functor(J, F, A)), L). 
L = [f,g,q], 
P = (q(x),f(x,y),g(x)) 

使用的所有內建的ISO標準