This is a topic to discuss the Wiki Meta interpreter

Stated Wiki: Meta Interpreter because it is one of the essential skills all Prolog programmers should posses. As a community we can share what we know to help all of us acquire this essential skill. A useful place to start learning about them is A Couple of Meta-interpreters in Prolog by Markus Tr…

callable/1 exist but don’t know how it relates to the criteria as noted by Jan W. in this post . callable/1 is often seen as a guard , e.g. predicate_xyz(_:Head) :- callable(Head), ! ... example in syspred.pl and with a conditional ->/2 e.g. ( callable(Head) -> ... ; ... ). exampl…

In searching the SWI-Prolog source code for callable found interesting code. Still don’t know what it means or how to use it but they make good food for thought . prolog_codewalk.pl prolog_colour.pl syspred.pl test_util_iso.pl yall.pl

@jan Are these 5 classes of predicates suppose to be independent or will some predicates fall into more than one class? There are roughly 5 classes of predicates relevant to meta-interpretation: With predicate property foreign. These are written in C (or have a C wrapper to Java/Python/…). Y…

For others on this same path here is some code that might be of benefit. meta_interpreter_class(Head,1) :- predicate_property(Head,foreign). meta_interpreter_class((M0:_If ; M0:_Then),2). meta_interpreter_class((_G1 ,_G2),2). meta_interpreter_class((_If -> _Then),2). meta_interpreter_class((_I…

At this point I am afraid to ask, but I will face my fears. This is an honest question. For what is a meta-interpreter used? From my very limited understanding, they are good for fixing a perceived deficiency of the Prolog implementation that is being used. Is that correct? (This assumes that the …

[image] EricGT: callable/1 exist but don’t know how it relates to the criteria as noted by Jan W. in this post . callable/1 seems to just check for a pattern and not if the predicate exist, e.g. ?- callable(a()). true. ?- a(). ERROR: Unknown procedure: a/0 (DWIM could not correct goal) ?- c…

[image] Boris: good for fixing a perceived deficiency I think it’s more about easy enriching the language, specially if the Prolog engine doesn’t offer term/goal rewriting. Prolog and Natural-Language Analysis , by Pereira,Shieber, has the last chapter devoted to illustrate some applications o…

How is this definition different (better?) than the current DCG (compile-time expansion?) of SWI-Prolog? So maybe I didn’t ask the correct question. I am not asking how to implement a meta-interpreter (this is explained in every textbook I have seen). I wanted to know why to implement a meta-interp…

Wiki Discussion: Meta interpreter

Wiki Discussion

EricGT July 19, 2020, 1:35pm 5

For examples of predicate_property/2 and module_property/2 see Using listing/N and suc

Topic		Replies	Views
Is there a meta_predicate tutorial? Predicate	14	1813	October 2, 2020
What is meant by "meta-level" in logic programming? General	20	372	August 24, 2024
Meta-interpreter with modules and meta-predicates General	10	140	May 13, 2025
Meta interpreter Wiki	0	1292	July 19, 2020
Meta interpreter circularity in SWI Prolog Help!	7	1000	July 20, 2020

Wiki Discussion: Meta interpreter

Related topics