scientific article; zbMATH DE number 4053071

MaRDI QIDQ3789109zbMATH OpenFDO

Authors Carlo Zaniolo, Domenico Saccà

Publication date 1988

zbMATH Keywords

efficient implementationHorn clause based languagemodel semanticsrecursive predicatesrule rewriting transformationstermination

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4049156
• History and basic features of the critical-pair/completion procedure
• Translation of logic programs into functional fixpoint equations
• On the power of magic
• Implementation of logical query languages for databases

Cited in

(8)

• An efficient algorithm for Horn description
• History and basic features of the critical-pair/completion procedure
• Comparison of methods for logic-query implementation
• scientific article; zbMATH DE number 4049156 (Why is no real title available?)
• scientific article; zbMATH DE number 4108190 (Why is no real title available?)
• Compilation of set terms in the logic data language (LDL)
• Translation-Based Revision and Merging for Minimal Horn Reasoning.
• Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation

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 Q3789109)