Jekejeke Prolog 1.3.1 (answer set programming)
Jan Burse, created Nov 02. 2018
We just uploaded a new release of Jekejeke Prolog. We mainly worked on the development environment and the Minlog extension:
- Deterministic Debugger:
The development environment now features a deterministic debugger. The debugger will eliminate debugger choice points for completed deterministic subgoals and thus suppresses unncessary debugger ports. This reduces the clutter when debugging. There is also a new module "attach".
- Constraint Handling Rules:
The Minlog extension now features a new module "chr". We first did an overhaul of the modules "hypo" and "delta", and then deviced a translation from constraint handling rules to forward chaining rules. Our take features a logical cross product. There is currently the restriction that the resulting forward chaining rules need to generate ground facts.
- Answer Set Programming:
The Minlog extension now features a new module "asp". Again based on the overhaul of the modules "hypo" and "delta", we deviced a new choice operators for answer set programming via forward chaining rules. Analogously there is currently the restriction that the resulting forward chaining rules need to generate ground facts.
Our forward chaining engine already provides α-nodes hashing, so that answer set programming runs swiftly. Nevertheless both takes on the modules "chr" and "asp" adhere to the keep it simple approache. Further alternative rewritings, like to a SAT solver, and possible extensions, like non-ground resulting facts, might appear in future releases of the Minlog extension.