Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 1059302

From MaRDI portal
Publication:4353604
Jump to:navigation, search

zbMATH Open0881.68022MaRDI QIDQ4353604FDOQ4353604


Authors: Donald A. Smith Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4353604&oldid=18334138"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 6 February 2024, at 22:48. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki