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.

Avatar
Sebastian Krings
Postdoc

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

Publications

The importance of coding guidelines is generally accepted throughout developers of every programming language. Naturally, Prolog makes …

Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase …

We present a CLP(FD)-based constraint solver able to deal with unbounded domains. It is based on constraint propagation, resorting to …

Talks

Paper presentation.