[[
✎ pl:prolog:pllib:meta_interpreter
]]
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 ====== {{tag>metainterpreter}} ===== Description ===== A meta-interpreter for pure Prolog **Source**: The Art of Prolog ===== Download ===== Program source code: {{meta_interpreter.pl}} ===== Listing ===== <code prolog> /* 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 </code> ===== Comments =====
pl/prolog/pllib/meta_interpreter.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry