Making ProB Compatible with SWI-Prolog

DOI10.1017/S1471068422000230OpenAlexW4291746025MaRDI QIDQ5038477FDOQ5038477

Authors: David Geleßus, Michael Leuschel 

Publication date: 30 September 2022

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

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

zbMATH Keywords

emulationcompatibilityprologportingProB

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

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

Uses Software

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

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)