[[
✎ pl:prolog:pllib:subterm_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ć.
====== Subterm 2 ====== {{tag>function}} ===== Description ===== Subterm defined using univ **Source**: The Art of Prolog ===== Download ===== Program source code: {{subterm_2.pl}} ===== Listing ===== <code prolog> /* subterm(Sub,Term) :- Sub is a subterm of the ground term Term. */ subterm(Term,Term). subterm(Sub,Term) :- compound(Term), Term =.. [F|Args], subterm_list(Sub,Args). subterm_list(Sub,[Arg|Args]) :- subterm(Sub,Arg). subterm_list(Sub,[Arg|Args]) :- subterm_list(Sub,Args). % Program 9.4 Subterm defined using univ </code> ===== Comments =====
pl/prolog/pllib/subterm_2.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry