30 citations · 57 across the 15 of their papers we have counts for
Showing 2022 · cs.PLShow all
2 papers · 2 filters
cs.PL2022
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…
cs.PL2022
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…