Input/Output Dependencies of Normal Logic Programs

DOI10.1093/logcom/4.3.249zbMath0815.68033OpenAlexW2036335871WikidataQ114632459 ScholiaQ114632459MaRDI QIDQ4304493

Robert F. Stärk

Publication date: 10 October 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a1d22d48645ad156414bf0e9975c9b3b145f6d1b

zbMATH Keywords

specificationnegation as failureinterpreterSLDNF-resolutionProlog programscompletion of programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

First-order theories for pure Prolog programs with negation ⋮ A transformation of propositional Prolog programs into classical logic

This page was built for publication: Input/Output Dependencies of Normal Logic Programs