Meta interpreter

Description

A meta-interpreter for pure Prolog

Source: The Art of Prolog

Download

Program source code: meta_interpreter.pl

Listing

/*
  solve(Goal) :-
     Goal is true given the pure Prolog program defined by clause/2.
*/
 
     solve(true).
     solve((A,B)) :- solve(A), solve(B).
     solve(A) :- clause(A,B), solve(B).
 
%	Program 17.5	A meta-interpreter for pure Prolog

Comments

pl/prolog/pllib/meta_interpreter.txt · ostatnio zmienione: 2017/07/17 08:08 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0