[[
✎ pl:prolog:pllib:meta_interpreter_2
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
====== Meta interpreter 2 ====== {{tag>metainterpreter trees proof}} ===== Description ===== A meta-interpreter for building a proof tree **Source**: The Art of Prolog ===== Download ===== Program source code: {{meta_interpreter_2.pl}} ===== Listing ===== <code prolog> /* solve(Goal,Tree) :- Tree is a proof tree for Goal given the program defined by clause/2. */ solve(true,true) :- !. solve((A,B),(ProofA,ProofB)) :- !, solve(A,ProofA), solve(B,ProofB). solve(A,(A:-builtin)) :- builtin(A), !, A. solve(A,(A:-Proof)) :- clause(A,B), solve(B,Proof). % Program 17.8 A meta-interpreter for building a proof tree </code> ===== Comments =====
pl/prolog/pllib/meta_interpreter_2.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry