Logic Programming

Prolog Coding Guidelines: Status and Tool Support

Paper presentation.

Towards Constraint Logic Programming over Strings for Test Data Generation

Paper presentation.

Prolog Coding Guidelines: Status and Tool Support

The importance of coding guidelines is generally accepted throughout developers of every programming language. Naturally, Prolog makes no exception. However, establishing coding guidelines is fraught with obstacles: Finding common ground on kind and …

Towards Constraint Logic Programming over Strings for Test Data Generation

Software is notoriously hard to test. Some of the difficulties stem from the test data available for data-intensive applications such as data warehouses. Existing test data might not be diverse enough to enable desired test cases, while at the same …

CLP(Str)

Constraint Logic Programming Over Strings.

Prolog Language Features

Providing new features to Prolog implementations.

Measuring Code Coverage of Prolog Programs Using Mutation Testing

Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests beyond a reasonable amount hinders development progress. To decide on …

Three is a crowd: SAT, SMT and CLP on a chessboard

Constraint solving technology for declarative formal models has made considerable progress in recent years, and has many applications such as animation of high-level specifications, test case generation, or symbolic model checking. In this article we …

Contraint Logic Programming over Infinite Domains with an Application to Proof

We present a CLP(FD)-based constraint solver able to deal with unbounded domains. It is based on constraint propagation, resorting to enumeration if all other methods fail. An important aspect is detecting when enumeration was complete and if this …