Delimited control operators prove Double-negation Shift.

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

logic programming
logic programs
real time
control system
deductive databases
control method
process control
predicate logic
machine learning
genetic algorithm
artificial intelligence
control strategies
control theory
control structures