scientific article; zbMATH DE number 549963

zbMATH Open0797.68029MaRDI QIDQ4287482FDOQ4287482

Authors: Johan Boye 

Publication date: 19 October 1994

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

completenesssatisfiabilityoperational semanticslogic programsequational constraintsS-unificationS-SLD-resolution

Mathematics Subject Classification ID

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

Cited In (5)

• Logic programming with external procedures: Introducing S-unification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Heterogeneous SLD resolution
• SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing

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)