scientific article; zbMATH DE number 1059302

zbMATH Open0881.68022MaRDI QIDQ4353604FDOQ4353604

Authors: Donald A. Smith 

Publication date: 6 November 1997

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

Recommendations

• A Rule-Based System for Computation and Deduction in Mathematica
• Foundations of the rule-based system \(\rho\,\text{Log}\)
• Rule-based languages
• Compiling bottom-up and mixed derivations into top-down executable logic programs
• Merging graph-based and rule-based computation: The language G-Log

zbMATH Keywords

Prologdeductive databasesother rule-based systems

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (3)

• Foundations of the rule-based system \(\rho\,\text{Log}\)
• MixLog
• MGS: a rule-based programming language for complex objects and collections

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