Correct answers to allowed programs and queries are ground

DOI10.1016/0743-1066(91)90032-KzbMath0764.68156MaRDI QIDQ3988802

John C. Shepherdson

Publication date: 28 June 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

allowed programsSLDNF resolution

Mathematics Subject Classification ID

Related Items (2)

Acyclic logic programs and the completeness of SLDNF-resolution ⋮ A functorial framework for constraint normal logic programming

This page was built for publication: Correct answers to allowed programs and queries are ground