Comments on “general failure of logic programs”

DOI10.1016/0743-1066(86)90018-XzbMath0596.68014MaRDI QIDQ3729995

Jean-Louis Lassez, Michael J. Maher, Joxan Jaffar

Publication date: 1986

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

zbMATH Keywords

completenesslogic programssoundnessgeneral failure setsnegation- as-failure rule

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Algèbres effectives dans la programmation logique avec contraintes

This page was built for publication: Comments on “general failure of logic programs”