A linear axiomatization of negation as failure

DOI10.1016/0743-1066(92)90037-4zbMath0754.68025OpenAlexW2081964274MaRDI QIDQ3992234

Serenella Cerrito

Publication date: 13 August 1992

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

Full work available at URL: https://doi.org/10.1016/0743-1066(92)90037-4

zbMATH Keywords

completenessPROLOGsoundnessSLDNF

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Intuitionistic three-valued logic and logic programming ⋮ RASP and ASP as a fragment of linear logic ⋮ A transformation of propositional Prolog programs into classical logic

This page was built for publication: A linear axiomatization of negation as failure