Is there any Java PROLOG implementation that supports lambda expressions? I know that there are Java implementations of other languages that support lambda expressions, such as LISP and Clojure, but I really need a PROLOG implementation.
http://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations
Lean Prolog is implemented in Java and can run Logtalk, which makes lambda expressions available to to all supported backend Prolog compilers. For an overview of Logtalk's lambda expressions syntax see e.g.:
https://logtalk.org/2009/12/08/lambda-expressions-in-logtalk.html/
For usage examples see:
https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/lambdas