Relating logic programs via program maps

DOI10.1007/BF01530791MaRDI QIDQ1353915zbMATH OpenOpenAlexFDO

Authors Marc Kirschenbaum, Ashish Jain, Leon S. Sterling

Publication date 12 May 1997

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

Full work available at URL https://doi.org/10.1007/bf01530791

zbMATH Keywords

Prolog programsstepwise enhancement

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Publication:4506388
• scientific article; zbMATH DE number 1615256
• scientific article; zbMATH DE number 3890698
• scientific article; zbMATH DE number 1023017
• Transformations of logic programs

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 67805 (Why is no real title available?)
• Composing recursive logic programs with clausal join

Cited in

(8)

• Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
• scientific article; zbMATH DE number 1508924 (Why is no real title available?)
• On the relationship between TMS and logic programs
• Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer
• Logical Mappings
• scientific article; zbMATH DE number 4064537 (Why is no real title available?)
• scientific article; zbMATH DE number 2012389 (Why is no real title available?)
• Evolution of rule-based programs

This page was built for publication: Relating logic programs via program maps

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