scientific article; zbMATH DE number 978237

MaRDI QIDQ4332413zbMATH OpenFDO

Authors Krzysztof R. Apt, Rachel Ben-Eliyahu

Publication date 21 April 1997

zbMATH Keywords

meta-variablesSLD-resolution

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A generalized approach to metaprogramming in logic grammars
• A metalogic programming approach: language, semantics and applications
• scientific article; zbMATH DE number 1070626
• Meta-logic programming for a synonymy logic
• Metacomputation and logic programming
• scientific article; zbMATH DE number 1692888
• Meta-variables as infinite lists in nominal terms unification and rewriting
• scientific article; zbMATH DE number 3978352
• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• scientific article; zbMATH DE number 1301856

Cited in

(2)

• scientific article; zbMATH DE number 2006634 (Why is no real title available?)
• In praise of impredicativity: a contribution to the formalization of meta-programming

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