Making ProB Compatible with SWI-Prolog
From MaRDI portal
Publication:5038477
DOI10.1017/S1471068422000230MaRDI QIDQ5038477
Michael Leuschel, David Geleßus
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
68N17: Logic programming
Uses Software
Cites Work