30 citations · 57 across the 15 of their papers we have counts for
8 papers · 1 filter
Making ProB compatible with SWI-Prolog
David Geleßus, Michael Leuschel
Even though the core of the Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex Prolog programs that can run unmodified on mu…
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 for Verification, Analysis and Transformation Tools
Michael Leuschel
This article examines the use of the Prolog language for writing verification, analysis and transformation tools. Guided by experience in teaching and the development of verificati…
Constraint Logic Programming over Infinite Domains with an Application to Proof
Sebastian Krings, Michael Leuschel
We present a CLP(FD)-based constraint solver able to deal with unbounded domains. It is based on constraint propagation, resorting to enumeration if all other methods fail. An impo…
A Semantics-Aware Editing Environment for Prolog in Eclipse
Jens Bendisposto, Ian Endrijautzki, Michael Leuschel +1
In this paper we present a Prolog plugin for Eclipse based upon BE4, and providing many features such as semantic-aware syntax highlighting, outline view, error marking, content as…