[[
✎ pl:prolog:pllib:sublists
]]
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ć.
====== Sublists ====== {{tag>lists}} ===== Description ===== Determining sublists of lists **Source**: The Art of Prolog ===== Download ===== Program source code: {{sublists.pl}} ===== Listing ===== <code prolog> /* sublist(Sub,List) :- Sub is a sublist of List. */ /* prefix(Prefix,List) :- Prefix is a prefix of List. */ prefix([],Ys). prefix([X|Xs],[X|Ys]) :- prefix(Xs,Ys). /* suffix(Suffix,List) :- Suffix is a suffix of List. */ suffix(Xs,Xs). suffix(Xs,[Y|Ys]) :- suffix(Xs,Ys). % a: Suffix of a prefix sublist(Xs,Ys) :- prefix(Ps,Ys), suffix(Xs,Ps). % b: Prefix of a suffix sublist(Xs,Ys) :- prefix(Xs,Ss), suffix(Ss,Ys). % c: Recursive definition of a sublist sublist(Xs,Ys) :- prefix(Xs,Ys). sublist(Xs,[Y|Ys]) :- sublist(Xs,Ys). % d: Prefix of a suffix, using append sublist(Xs,AsXsBs) :- append(As,XsBs,AsXsBs), append(Xs,Bs,XsBs). % e: Suffix of a prefix, using append sublist(Xs,AsXsBs) :- append(AsXs,Bs,AsXsBs), append(As,Xs,AsXs). % Program 3.14: Determining sublists of lists </code> ===== Comments =====
pl/prolog/pllib/sublists.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry