Meta-predicate semantics

DOI10.1007/978-3-642-32211-2_11zbMATH Open1377.68064arXiv1009.3773OpenAlexW193777801MaRDI QIDQ4909321FDOQ4909321

Authors: Paulo Moura 

Publication date: 13 March 2013

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

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.

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

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

zbMATH Keywords

objectsmeta-predicatespredicate-based module systems

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (2)

• Title not available (Why is that?)
• 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)