More declarative tabling in Prolog using multi-prompt delimited control.

Published in: CoRR (2017)

Keyphrases

logic programming
knowledge representation
logic programming language
procedural semantics
control system
control theory
machine learning
logic programs
process control
genetic algorithm
robotic systems
optimal control
answer set programming
practical problems
prolog programs
abstract machine