关于元谓词语义的研究
Towards a Study of Meta-Predicate Semantics
摘要：
我们描述和比较元谓词语义的设计选择，发现在代表性的Prolog模块系统和Logtalk。我们从务实的角度来看，这些设计选择的后果，讨论明确的资格语义，计算反射支持，元谓词声明的表达能力，元谓词定义的安全性，元谓词定义的可移植性，和元谓词性能。我们的目标是提供有用的见解辩论元谓词语义和可移植性问题的基础上，实际的实现和常见的使用模式。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
