General failure of logic programs

DOI10.1016/0743-1066(85)90016-0zbMath0585.68023OpenAlexW2028326943MaRDI QIDQ3709865

Van Tu le

Publication date: 1985

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

Full work available at URL: https://doi.org/10.1016/0743-1066(85)90016-0

zbMATH Keywords

completenesslogic programmingsoundnessfinite failure propertiesnegation-as-failure rule

Mathematics Subject Classification ID

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

This page was built for publication: General failure of logic programs