4 papers
Fifty Years of Prolog and Beyond
Philipp Körner, Michael Leuschel, João Barbosa +8
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A lar…
On the Performance of Bytecode Interpreters in Prolog
Philipp Körner, David Schneider, Michael Leuschel
The semantics and the recursive execution model of Prolog make it very natural to express language interpreters in form of AST (Abstract Syntax Tree) interpreters where the executi…
Prolog Coding Guidelines: Status and Tool Support
Falco Nogatz, Philipp Körner, Sebastian Krings
The importance of coding guidelines is generally accepted throughout developers of every programming language. Naturally, Prolog makes no exception. However, establishing coding gu…
Measuring Coverage of Prolog Programs Using Mutation Testing
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings +1
Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests…