How use Prolog from Java?

Question

In the context of a Java/Eclipse application I would like to use Prolog for a particular task. What are the available solutions and tools to do that, and associated pro and

Answer 1

When looking at multi-threaded Prolog systems, there are different additional considerations. One desiderata is to have a separation between threads and logic engines. This was expressed here: http://www.cs.nmsu.edu/ALP/2011/03/concurrent-programming-constructs-and-first-class-logic-engines/

There are some Prolog systems that realize this separation. Jekejeke Prolog is also among these systems. There is a report (*) that shows how this separation can be put to use. In the various scenarios we see that the "thread" is provided by a system external to the logic engine:

• Terminal Deployment: Thread is the Java main thread.
• Standalone Deployment: Thread is the AWT/Swing thread.
• Applet Deployment: Thread is some browser thread.
• Servlet Deployment: Thread comes from web server pool.
• Client Deployment: Thread is the AWT/Swing thread.

Best Regards

http://www.jekejeke.ch/idatab/doclet/prod/en/docs/05_run/15_stdy/08_deploy/package.html