Constraint Lingo

Constraint Lingo: towards high-level constraint programming

Logic programming requires that the programmer convert a problem into a set of constraints based on predicates. Choosing the predicates and introducing appropriate constraints can be intricate and error-prone. If the problem domain is structured enough, we can let the programmer express the problem in terms of more abstract, higherlevel constraints. A compiler can then convert the higher-level ...

Automatic Generation of English-language Steps in Puzzle Solving

This paper shows how to generate an English step-bystep explanation that describes how an automated reasoning system solves a complex constraint program. We study programs that solve tabular-constraint problems encoded in Constraint Lingo and then translated into propositional logic with cardinality constraints. We instrument the logic solver so that it generates log files. We inspect those log...

Constraint Lingo : Towards high - level

Tabular Constraint-Satisfaction Problems and Answer Set Programming

We argue that database query languages can be used to specif’y constraint satisfaction problems. We describe one such language here. It is based on tuple relational calculus and its sentences are used to define constraints. For a fragment of this language we develop a front end, Constraint Lingo, to facilitate programming tasks. Finally, we show that programs in Constraint Lingo can be compiled...

Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems