XSB: Extending Prolog with Tabled Logic Programming
From MaRDI portal
Publication:2893097
DOI10.1017/S1471068411000500zbMath1244.68021arXiv1012.5123WikidataQ56059060 ScholiaQ56059060MaRDI QIDQ2893097
David S. Warren, Terrance Swift
Publication date: 25 June 2012
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1012.5123
68N17: Logic programming
Related Items
Uses Software