Correct answers to allowed programs and queries are ground
From MaRDI portal
Publication:3988802
DOI10.1016/0743-1066(91)90032-KzbMath0764.68156MaRDI QIDQ3988802
Publication date: 28 June 1992
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
A functorial framework for constraint normal logic programming, Acyclic logic programs and the completeness of SLDNF-resolution