Logic Programming | Sebastian Krings

Prolog Coding Guidelines: Status and Tool Support

Sun, 22 Sep 2019 15:30:00 +0000

Towards Constraint Logic Programming over Strings for Test Data Generation

Wed, 11 Sep 2019 11:00:00 +0000

Prolog Coding Guidelines: Status and Tool Support

Sat, 20 Jul 2019 00:00:00 +0000

Towards Constraint Logic Programming over Strings for Test Data Generation

Tue, 16 Jul 2019 00:00:00 +0000

CLP(Str)

Wed, 26 Sep 2018 00:00:00 +0000

In cooperation with periplus instruments, we evaluate to what extend constraint logic programming can be used to reason over string constraints. In particular, we implement a constraint solver based on SWI Prolog and CHR, integration existing solvers such as CLP(FD). We mainly target test data generation for data-intensive applications such as data warehouses.

Prolog Language Features

Wed, 26 Sep 2018 00:00:00 +0000

Prolog is a logic programming language. While not broadly used, it has several interesting applications in artificial intelligence, constraint solving and language processing. However, due to its age, Prolog and the common Prolog interpreters lack features often available for other languages. For instance, test coverage computation and support for in-code specification are only rudimentarily available. In this project, we strive to port interesting features available for other languages to SWI and SICStus Prolog.

Measuring Code Coverage of Prolog Programs Using Mutation Testing

Wed, 01 Aug 2018 00:00:00 +0000

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

Mon, 08 Jan 2018 00:00:00 +0000

Contraint Logic Programming over Infinite Domains with an Application to Proof

Sun, 01 Jan 2017 00:00:00 +0000