ltettoni/logic2j — Issue #25: Execution of a prolog goal from within a Java primitive
Author: ltettoni
Created: 2011-10-08 13:46:19+00:00
State: open

In tuProlog, a Java-written primitive can (not too easily) push a goal back to the inference engine.
This allows, for example, while executing a custom predicate, to generate a new goal (with the Term API), and then to substitute the current execution by the execution of the new generated goal.

It would be a plus to allow a similar mechanism. And probably, with the access to the goalSolver, would not be too difficult to implement.