7

是否有任何支持 lambda 表达式的 Java PROLOG 实现?我知道有其他语言的 Java 实现支持 lambda 表达式,例如 LISP 和 Clojure,但我确实需要一个 PROLOG 实现。

http://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations

4

4 回答 4

4

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

于 2013-04-20T01:50:08.640 回答
3

Ulrich Neumerkel 有一个 Prolog lambda 实现。例如 SWI-Prolog 就支持它。如果您在 Stackoverflow 中进行了搜索:

[swi-prolog] lambda

您还可以使用它找到很多答案作为解决方案。

此外,解释这一切的网页

于 2013-04-19T07:28:30.357 回答
2

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 组合器进行阶乘:

  • 默认全局:Jekejeke Prolog API
    ?- 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

于 2013-06-05T09:54:47.040 回答
1

在 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.
于 2021-01-30T11:01:15.150 回答