Making ProB Compatible with SWI-Prolog

DOI10.1017/S1471068422000230MaRDI QIDQ5038477zbMATH OpenOpenAlexFDO

Authors David Geleßus, Michael Leuschel

Publication date 30 September 2022

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://arxiv.org/abs/2205.04373

zbMATH Keywords

emulationcompatibilityprologportingProB

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• An overview of Ciao and its design philosophy
• Modules for Prolog Revisited
• SICStus Prolog -- the first 25 years
• SWI-Prolog
• The YAP prolog system

Describes a project that uses

Uses Software

• SWI-Prolog
• SICStus
• YAP-Prolog
• LOGEN

This page was built for publication: Making ProB Compatible with SWI-Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5038477)