Joining Abstract and Concrete Computations in Constraint Logic Programming.

Roberto Giacobazzi Giorgio Levi Saumya K. Debray

Published in: AMAST (1993)

Keyphrases

constraint logic programming
constraint solving
answer set programming
logic programming language
logic programming
constraint programming
proof theoretic
constraint propagation
high level
low level
programming paradigms
temporal reasoning
global constraints
constraint satisfaction