Questions tagged [prolog-metainterpreter]

Use with Prolog when Prolog code is a meta-interpreter, e.g. a self-interpreter of Prolog code or a meta-circular interpreter of Prolog code.

Prolog meta interpreters are useful to change the evaluation process of Prolog code.

References:

A Couple of Meta-interpreters in Prolog
Three Meta-Interpreters: Prolog in Prolog, EXSHELL, and a Planner (pdf)

32 questions
0
votes
1 answer

Change goal execution order in Prolog Interpreter

I'm attempting to write a Prolog meta-interpreter to choose the order of goal execution, for example executing first all goals with the minimum number of parameters. I started from the vanilla meta-interpreter: solve2(true). solve2(A) :- builtin(A),…
Enoon
  • 421
  • 4
  • 17
-1
votes
1 answer

meta-interpreter Prolog, count the number of ground facts

I have a proof(meta-interpreter) in prolog : solvept(true,true):- !. solvept((A,B),(ProofA,ProofB)):- !, solvept(A,ProofA), solvept(B,ProofB). solvept(A,(A:-Proof)):- clause(A,B), solvept(B,Proof). with this KB : son(aa,bb). …
user3043636
  • 559
  • 6
  • 23
1 2
3