我正在为Prolog查询编写部分评估程序。我尝试使用expand_goal/2
扩展查询,但在这种情况下,它只是将Input
与Output
统一起来:
:- initialization(main).
main :-
Input=is_between(1,A,3),expand_goal(Input,Output),writeln(Output).
is_between(A,B,C) :-
B>A,B<C.
我也尝试使用term_expansion/2
,但这会导致程序失败:
:- initialization(main).
main :-
Input=is_between(1,A,3),term_expansion(Input,Output),writeln(Output).
is_between(A,B,C) :-
B>A,B<C.
SWI-Prolog是否有内置的谓词,可以在运行时执行查询的宏扩展,正如我在这里尝试的那样?
答案 0 :(得分:4)
可以使用内置的clause/2
谓词扩展Prolog子句:
:- initialization(main).
main :- clause(is_between(1,2,3),B),writeln(B).
is_between(A,B,C) :- A<B,C>B.
此示例打印1<2,3>2
。
可以使用findall/3谓词来扩展多个子句:
:- initialization(main).
main :- find_all_clauses(is_between(1,2,3),B),writeln(B).
find_all_clauses(Predicate,Output) :-
findall(Predicate1,clause(Predicate,Predicate1),Output1),
list_to_disjunction(Output1,Output).
list_to_disjunction([A],A).
list_to_disjunction([A|B],(A;B1)) :- list_to_disjunction(B,B1).
is_between(A,B,C) :- A<B,C>B.
is_between(A,B,C) :- B>A,B<C.
此示例打印1<2,3>2;2>1,2<3
。
Prolog中已经有一些开源库可供部分评估,包括logen。