research
∙
01/26/2022
Fifty Years of Prolog and Beyond
Both logic programming in general, and Prolog in particular, have a long...
share
research
∙
08/28/2020
Effectiveness of Annotation-Based Static Type Inference
Benefits of static type systems are well-known: they offer guarantees th...
research
∙
08/28/2020
On the Performance of Bytecode Interpreters in Prolog
The semantics and the recursive execution model of Prolog make it very n...
research
∙
09/18/2019
Prolog Coding Guidelines: Status and Tool Support
The importance of coding guidelines is generally accepted throughout dev...
research
∙
08/23/2018