是否有任何支持 lambda 表达式的 Java PROLOG 实现?我知道有其他语言的 Java 实现支持 lambda 表达式,例如 LISP 和 Clojure,但我确实需要一个 PROLOG 实现。
http://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations
是否有任何支持 lambda 表达式的 Java PROLOG 实现?我知道有其他语言的 Java 实现支持 lambda 表达式,例如 LISP 和 Clojure,但我确实需要一个 PROLOG 实现。
http://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations
Lean Prolog 是用 Java 实现的,可以运行 Logtalk,这使得 lambda 表达式可用于所有支持的后端 Prolog 编译器。有关 Logtalk 的 lambda 表达式语法的概述,请参见:
https://logtalk.org/2009/12/08/lambda-expressions-in-logtalk.html/
有关使用示例,请参见:
https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/lambdas
Ulrich Neumerkel 有一个 Prolog lambda 实现。例如 SWI-Prolog 就支持它。如果您在 Stackoverflow 中进行了搜索:
[swi-prolog] lambda
您还可以使用它找到很多答案作为解决方案。
此外,解释这一切的网页
Prolog 中的 lambda 表达式基本上有两种方法,它们只处理 lambda 表达式的调用,而 不是高阶统一:
global-by-default: lambda 表达式主体中的变量默认是全局的,如果它们没有被额外的绑定器提及。
local-by-default: lambda 表达式主体中的变量在默认情况下是本地的,如果它们没有被额外的绑定器提及。
local-by-default 的代表例如 Ulrich Neumerkel 的库 (lambda) 或 Logtalk 中的 lambda 表达式。Jekejeke Prolog 中的 lambda 表达式目前遵循 global-by-default 方法。
这两种方法都允许对相同的数学 lambda 表达式进行建模,并通过一些进一步的语法解决以下问题:
控制跨多个调用共享或不共享变量。
强制 lambda 表达式主体中的活页夹和局部变量的 alpha 转换。
这是一个示例,通过 Y 组合器进行阶乘:
?- Y = F\X^call(X\call(F,call(X,X)),X\call(F,call(X,X))), 事实 = F\J^H^M^N^N\J^H^M^M\J^H^(N=0,M=1;N>0,H 为 N-1,调用(F,H ,J),M 是 N*J), 呼叫(Y,事实,10,R)。 R = 3628800。
?- Y = \F^call([F]+\X^call(F,call(X,X)),[F]+\X^call(F,call(X,X))), 事实 = \F^([F]+\N^([N,F]+\M^(N=0,M=1;N>0,H 是 N-1,call(F,H,J) ,M 是 N*J))), 呼叫(Y,事实,10,R)。 R = 3628800。
再见
PS:global-by-default 和 local-by-default 的区别借自第 10 页:
The Language Features and Architecture of B-Prolog
Neng-Fa Zhou, Theory and Practice of Logic Programming, 2011
http://www. sci.brooklyn.cuny.edu/~zhou/papers/tplp11sips.pdf
在 SWI-Prolog 中有library(yall)
(https://www.swi-prolog.org/pldoc/man?section=yall),它甚至支持柯里化:
?- use_module(library(yall)).
?- maplist([X,Y]>>(Y #= 2*X), [1,2,3], Ys).
Ys = [2, 4, 6].
?- maplist([X,Y]>>([Z]>>(Z #= X * Y)), [1,2,3], [3,4,5], Ys).
Ys = [3, 8, 15].
?- maplist([X,Y,Z]>>(Z #= X * Y), [1,2,3], [3,4,5], Ys).
Ys = [3, 8, 15].
?- maplist([X]>>([Y]>>([Z]>>(Z #= X * Y))), [1,2,3], [3,4,5], Ys).
Ys = [3, 8, 15].
与library(lambda)
:
?- maplist(\X^(\Y^(Y #= 2*X)), [1,2,3], Ys).
Ys = [2, 4, 6].
?- maplist(\X^Y^(\Z^(Z #= X * Y)), [1,2,3], [3,4,5], Ys).
Ys = [3, 8, 15].
?- maplist(\X^Y^Z^(Z #= X * Y), [1,2,3], [3,4,5], Ys).
Ys = [3, 8, 15].
?- maplist(\X^(\Y^(\Z^(Z #= X * Y))), [1,2,3], [3,4,5], Ys).
Ys = [3, 8, 15].
然而,lambdaslibrary(lambda)
也可以用于“提取”查询的某些变量的值:
?- Xs = [1,2,3,4,5,6,7], member(X, Xs), 0 #= X mod 2, Y #= X * 2.
Xs = [1, 2, 3, 4, 5, 6, 7],
X = 2,
Y = 4 ;
Xs = [1, 2, 3, 4, 5, 6, 7],
X = 4,
Y = 8 ;
Xs = [1, 2, 3, 4, 5, 6, 7],
X = 6,
Y = 12 ;
false.
?- Y+\(Xs = [1,2,3,4,5,6,7], member(X, Xs), 0 #= X mod 2 Y #= X * 2).
Y = 4 ;
Y = 8 ;
Y = 12 ;
false.