State-saving transformations for efficient bottom-up evaluation of logic programs and rule-based systems

DOI10.1023/A:1018940713446zbMATH Open0880.68013MaRDI QIDQ1370605

Knut Hinkelmann, Helge Hintze

Publication date: 26 October 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

rule-based systemsgeneralized magic setsmagic templates rewriting strategies

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: State-saving transformations for efficient bottom-up evaluation of logic programs and rule-based systems

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