Meta-predicate semantics

DOI10.1007/978-3-642-32211-2_11MaRDI QIDQ4909321zbMATH OpenOpenAlexFDO

Authors Paulo Moura

Publication date 13 March 2013

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1009.3773

zbMATH Keywords

objectsmeta-predicatespredicate-based module systems

Mathematics Subject Classification ID

Logic programming (68N17)

Abstract: We describe and compare design choices for meta-predicate semantics, as found in representative Prolog module systems and in Logtalk. We look at the consequences of these design choices from a pragmatic perspective, discussing explicit qualification semantics, computational reflection support, expressiveness of meta-predicate declarations, safety of meta-predicate definitions, portability of meta-predicate definitions, and meta-predicate performance. Our aim is to provide useful insight for debating meta-predicate semantics and portability issues based on actual implementations and common usage patterns.

Recommendations

• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• In praise of impredicativity: a contribution to the formalization of meta-programming
• A metalogic programming approach: language, semantics and applications
• On termination of meta-programs
• scientific article; zbMATH DE number 4076581

Cited in

(2)

• scientific article; zbMATH DE number 1755555 (Why is no real title available?)
• The formalization of lists in the meta-language of normal forms of knowledge

This page was built for publication: Meta-predicate semantics

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