Prolog Language Features

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.

Sebastian Krings

My research interests include formal methods, model checking and logic programming.


(2018). Measuring Coverage of Prolog Programs Using Mutation Testing. Proceedings 26th International Workshop on Functional and Logic Programming (WFLP 2018), Springer LNCS.

Preprint PDF Project Slides

(2017). plspec - A Specification Language for Prolog Data. Proceedings Conference on Declarative Programming (DECLARE 2017), Springer LNCS.

Preprint PDF Project