Prolog | Sebastian Krings

Prolog Coding Guidelines: Status and Tool Support

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

Prolog Coding Guidelines: Status and Tool Support

Sat, 20 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.

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

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