izi*_*tti 7 java lambda prolog
是否有支持lambda表达式的Java PROLOG实现？我知道有其他语言的Java实现支持lambda表达式,比如LISP和Clojure,但我真的需要一个PROLOG实现.
http://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations
Lean Prolog 是用 Java 实现的，可以运行 Logtalk，这使得所有支持的后端 Prolog 编译器都可以使用 lambda 表达式。有关 Logtalk 的 lambda 表达式语法的概述，请参见例如：
https://logtalk.org/2009/12/08/lambda-expressions-in-logtalk.html/
有关使用示例，请参阅：
https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/lambdas