A Theoretical Study of (Full) Tabled Constraint Logic Programming.

Joaquín Arias Manuel Carro

Published in: CoRR (2020)

Keyphrases

constraint logic programming
empirical findings
special case
state space
logic programming
temporal information
modal logic