scientific article; zbMATH DE number 572196

MaRDI QIDQ4294268zbMATH OpenFDO

Authors

Publication date 24 May 1994

zbMATH Keywords

code generationdynamic programmingPROLOG compiler

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20) Artificial intelligence (68T99)

Recommendations

• On the implementation of GNU Prolog
• scientific article; zbMATH DE number 4176425
• Semantics-directed generation of a Prolog compiler
• scientific article; zbMATH DE number 1630028
• scientific article; zbMATH DE number 1223558
• Publication:3201750
• scientific article; zbMATH DE number 1950443
• scientific article; zbMATH DE number 1420806
• Some global optimizations for a PROLOG compiler

Cited in

(15)

• Semantics-directed generation of a Prolog compiler
• How to invent a Prolog machine
• On the implementation of GNU Prolog
• scientific article; zbMATH DE number 4176425 (Why is no real title available?)
• scientific article; zbMATH DE number 4178748 (Why is no real title available?)
• scientific article; zbMATH DE number 4178749 (Why is no real title available?)
• Some global optimizations for a PROLOG compiler
• scientific article; zbMATH DE number 3943013 (Why is no real title available?)
• scientific article; zbMATH DE number 4074531 (Why is no real title available?)
• A comparison of three PROLOG extensions
• scientific article; zbMATH DE number 512886 (Why is no real title available?)
• 1983–1993: The wonder years of sequential Prolog implementation
• Global Optimizations in a Prolog Compiler for the Toam
• The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
• Compiling a default reasoning system into Prolog

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