代码之家 › 专栏 › 技术社区 › Daniel Jour

通过类似宏的元编程创建Prolog谓词

swi-prolog metaprogramming prolog

0

Daniel Jour · 技术社区 · 5 年前

我需要一种方法来实现这一点:

?- create_pred(f, [A, B], (write(That), write(B), write(A), write(This))).
true.
?- f(this, a, b).
_L154bathis
true.

我让它在没有电脑的情况下工作 This 到目前为止:

?- create_pred(f, [A, B], (write(That), write(B), write(A))).
true.
?- f(a, b).
_L154ba
true.

代码如下:

create_pred(Name, Args, Body) :-
    length(Args, Argc),
    functor(F, Name, Argc),
    term_variables(F, Vars),
    term_variables(Args, Vars),
    assertz((F :- Body)).

你知道我怎样才能把第一个论点和 这 (而不是 That )来自身体的变量?

0 回复 | 直到 5 年前

推荐文章

Karim Mtl · 动态查询prolog

8 年前

Josh · 如何使用Prolog查找两个字符之间的子字符串?

8 年前

Christian Hujer · 在SWI Prolog中,当调用copy_stream_data时,如何避免出现“|:”提示?

9 年前

user27815 · metagol中谓词的变量

9 年前

user27815 · 带有动态谓词的模块

9 年前

user2118622 · 如何在Prolog中用指针实现C代码?

11 年前

rano · 不同Prolog实现的兼容性层

11 年前