scientific article; zbMATH DE number 549963

MaRDI QIDQ4287482zbMATHFDO

Authors Johan Boye

Publication date 19 October 1994

zbMATH Keywords

completenesssatisfiabilityoperational semanticslogic programsequational constraintsS-unificationS-SLD-resolution

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 826302
• scientific article; zbMATH DE number 823595
• On the completeness of SLDENF-resolution
• Logic programming with external procedures: Introducing S-unification

Cited in

(5)

• SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing
• scientific article; zbMATH DE number 826302 (Why is no real title available?)
• scientific article; zbMATH DE number 4178744 (Why is no real title available?)
• Logic programming with external procedures: Introducing S-unification
• Heterogeneous SLD resolution

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4287482)