Abstract metaprolog engine

DOI10.1016/S0743-1066(97)00075-7MaRDI QIDQ4208849zbMATH OpenFDO

Authors Ilyas Cicekli

Publication date 24 November 1998

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(97)00075-7

zbMATH Keywords

MetaProlog languageWarren abstract machine

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1953275
• Metacomputation and logic programming
• Engineering formal metatheory
• scientific article; zbMATH DE number 1070626
• A generalized approach to metaprogramming in logic grammars
• scientific article; zbMATH DE number 1956525
• scientific article; zbMATH DE number 1692888
• A metalogic programming approach: language, semantics and applications

This page was built for publication: Abstract metaprolog engine

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