Prolog Coding Guidelines: Status and Tool Support
ICLP 2019, Las Cruces, NM, USA
Logic Programming
Towards Constraint Logic Programming over Strings for Test Data Generation
DECLARE 2019, Cottbus, Germany
Prolog Coding Guidelines: Status and Tool Support
The importance of coding guidelines is generally accepted throughout developers of every programming language.
Towards Constraint Logic Programming over Strings for Test Data Generation
Software is notoriously hard to test.
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.
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.
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.