On termination of general logic programs w.R.T. constructive negation

DOI10.1016/0743-1066(95)00090-9zbMath0880.68007OpenAlexW2000096099MaRDI QIDQ3128617

Elena Marchiori

Publication date: 28 May 1997

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

Full work available at URL: https://ir.cwi.nl/pub/2221

zbMATH Keywords

terminationconstructive negationsyntactic characterization of general logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Termination of constraint logic programs ⋮ Loop checking in SLD-derivations by well-quasi-ordering of goals

This page was built for publication: On termination of general logic programs w.R.T. constructive negation