[[
✎ pl:prolog:pllib:meta_interpreter_6
]]
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 6 ====== {{tag>metainterpreter}} ===== Description ===== The basic Prolog meta-interpreter. **Source**: PROLOG programming for artificial intelligence, 3rd Edition, Harlow, 2001, ISBN 0-201-40375-7. ===== Download ===== Program source code: {{meta_interpreter_6.pl}} ===== Listing ===== <code prolog> % Figure 23.1 The basic Prolog meta-interpreter. % The basic Prolog meta-interpreter prove( true). prove( ( Goal1, Goal2)) :- prove( Goal1), prove( Goal2). prove( Goal) :- clause( Goal, Body), prove( Body). </code> ===== Comments =====
pl/prolog/pllib/meta_interpreter_6.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry