Computer Science – Programming Languages
Scientific paper
2010-09-20
Computer Science
Programming Languages
Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in
Scientific paper
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.
No associations
LandOfFree
Towards a Study of Meta-Predicate Semantics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Towards a Study of Meta-Predicate Semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards a Study of Meta-Predicate Semantics will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-264412