scientific article; zbMATH DE number 1215501

zbMath0916.03036MaRDI QIDQ4215638

Gerhard Jäger, Robert F. Stärk

Publication date: 26 October 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

deductive systemsinductive definitionsmode assignmentSLDNF-resolutionnegation-as-failurefirst-order logic programming with negationpartial logic programs

Mathematics Subject Classification ID

Logic programming (68N17) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

First-order theories for pure Prolog programs with negation ⋮ A transformation of propositional Prolog programs into classical logic ⋮ Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut ⋮ Proof-theoretic notions for software maintenance

This page was built for publication: