Sign in to confirm you’re not a bot
This helps protect our community. Learn more

meta_predicate declarations

The Power of Prolog
6.22K subscribers
661 views 2 months ago
meta_predicate/1 directives are used by code analysis tools such as cross-referencers to determine which predicates are referenced. Prolog development environments can take these declarations into account to approximate the set of used and unused predicates, to detect which predicates need to be recompiled, and to precompile meta-calls so that they are more efficient at runtime. Prolog systems with module systems can use this information to automatically resolve cross-module calls correctly. For more information about this directive, see the draft "An Elementary Prolog Library" by Richard O'Keefe https://www.cs.otago.ac.nz/staffpriv/..., and Paulo Moura's paper "Towards a Study of Meta-Predicate Semantics" with included references: https://arxiv.org/pdf/1009.3773 ...more
...more
meta_predicate declarations
74Likes
661Views
Apr 62025
meta_predicate/1 directives are used by code analysis tools such as cross-referencers to determine which predicates are referenced. Prolog development environments can take these declarations into account to approximate the set of used and unused predicates, to detect which predicates need to be recompiled, and to precompile meta-calls so that they are more efficient at runtime. Prolog systems with module systems can use this information to automatically resolve cross-module calls correctly. For more information about this directive, see the draft "An Elementary Prolog Library" by Richard O'Keefe https://www.cs.otago.ac.nz/staffpriv/..., and Paulo Moura's paper "Towards a Study of Meta-Predicate Semantics" with included references: https://arxiv.org/pdf/1009.3773

Follow along using the transcript.

The Power of Prolog

6.22K subscribers