不会写下面的代码，求教

写一个版本的call_lambda，其中第一个参数是一个lambda表达式，使call_lambda替代的lambda，然后进入第二个参数调用的结果。
call_lambda(X^append([a], X, [a, b]), A)
使append([a], A, [a, b])，得到 A=[b].
最多有三个参数，使call_lambda(X^Y^Z^foo(Y, X, Z), a, b, c)， 得到 foo(b, a, c).

谢啦

xhdengfei 写道:写一个版本的call_lambda，其中第一个参数是一个lambda表达式，使call_lambda替代的lambda，然后进入第二个参数调用的结果。
call_lambda(X^append([a], X, [a, b]), A)
使append([a], A, [a, b])，得到 A=[b].
最多有三个参数，使call_lambda(X^Y^Z^foo(Y, X, Z), a, b, c)， 得到 foo(b, a, c).

谢啦

查call_lambda(X^append([a],X,[a,b]), A)时，应该是符合 call_lambda(A^G, B) :- ... 的样式。

做法就是普通lambda教程文件所讲的， (\ x . M) y ==> M[y/x] ，在M中找到x，取代为y。

写起来可能是这样，

代码:

call_lambda(A^G, B) :- A = B, call(G).

对之前提出的方式提一些修正：因为最後说「使call_lambda(X^Y^Z^foo(Y,X,Z), a, b, c)得到foo(b,a,c)」，所以其中不需要使用call/1。基本应该是写成

代码:

call_lambda(X^G, Y, G) :- X = Y.
?- call_lambda(X^append([a],X,[a,b]), A, R).

至於X^Y^Z^foo(Y,X,Z)这种表示法，若把^当作是分隔符号，则此式子看起来是另一种列表。可以当做因为foo(Y,X,Z)不能匹配A^B格式，所以foo(Y,X,Z)是一个列表的基础。然後前面加个Z变成Z^foo(Y,X,Z)，再前面加个X就是X^Z^foo(Y,X,Z)，像这样子。所以要写出三个参数，或更多个参数，看起来很简单了。但是对prolog来说， call_lambda(X^Y^Z^foo(Y,X,Z),a,b,c) 这样的写法有点奇怪，prolog并不是由这样一个call_lambda语句返回一个结果，我想除了多加一个参数当做返回值是个办法。

yauhsien 写道:对之前提出的方式提一些修正：因为最後说「使call_lambda(X^Y^Z^foo(Y,X,Z), a, b, c)得到foo(b,a,c)」，所以其中不需要使用call/1。基本应该是写成

代码:

call_lambda(X^G, Y, G) :- X = Y.
?- call_lambda(X^append([a],X,[a,b]), A, R).

至於X^Y^Z^foo(Y,X,Z)这种表示法，若把^当作是分隔符号，则此式子看起来是另一种列表。可以当做因为foo(Y,X,Z)不能匹配A^B格式，所以foo(Y,X,Z)是一个列表的基础。然後前面加个Z变成Z^foo(Y,X,Z)，再前面加个X就是X^Z^foo(Y,X,Z)，像这样子。所以要写出三个参数，或更多个参数，看起来很简单了。但是对prolog来说， call_lambda(X^Y^Z^foo(Y,X,Z),a,b,c) 这样的写法有点奇怪，prolog并不是由这样一个call_lambda语句返回一个结果，我想除了多加一个参数当做返回值是个办法。

谢啦~~~成功了