Using Constraint Logic Programming to Generate Drills in Mathematics.

Ana Paula Tomás José Paulo Leal Pedro Vasconcelos

Published in: APPIA-GULP-PRODE (2002)

Keyphrases

constraint logic programming
constraint solving
logic programming language
logic programming
answer set programming
constraint programming
constraint propagation
computer science
temporal reasoning
constraint solver
finite domain
global constraints
image sequences
constraint satisfaction problems
proof theoretic