[[
✎ pl:prolog:pllib:meta_interpreter_7
]]
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 7 ====== {{tag>metainterpreter}} ===== Description ===== A meta-interpreter for pure Prolog in continuation style **Source**: The Art of Prolog ===== Download ===== Program source code: {{meta_interpreter_7.pl}} ===== Listing ===== <code prolog> /* solve(Goal) :- Goal is true given the pure Prolog program defined by clause/2. */ solve(Goal) :- solve(Goal,[]). solve([],[]). solve([],[G|Goals]) :- solve(G,Goals). solve([A|B],Goals) :- append(B,Goals,Goals1),solve(A,Goals1). solve(A,Goals) :- rule(A,B), solve(B,Goals). % Program 17.6 A meta-interpreter for pure Prolog in continuation style </code> ===== Comments =====
pl/prolog/pllib/meta_interpreter_7.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry