Keresés listákban (a select/3 és member/2 eljárások) forrásának megtekintése

{{GlobalTemplate|Infoalap|PrologElm8}}

* fejezetek: 3.5.3
* fóliák: I.126-128

Egy listában azt jelenti a keresés, hogy meg tudjuk mondani: egy adott elem benne van-e a listában. A member/2 eljárás van a segítségünkre.
member(Elem, Lista): igaz, ha Elem Listában van.
<pre>
member(Elem, [Elem|_]).
member(Elem, [_|Farok]) :-
	member(Elem, Farok).
</pre>
Tehát Elem tagja a listának, ha a feje, vagy szerepel a farkában.<br>
A member felhasználási lehetőségei: 
* eldöntendő kérdés: egy egy bizonyos elem szerepel-e a listában
* egy lista eleminek felsorolása
* listák közös eleminek felsorolása (metszet):<br />
	  <pre>
	  | ?- member(X, [1,2,3]), member(X, [5,4,3,2,3]).
	  </pre>
* egy értéket egy nyílt végű lista elemévé tesz, végtelen választás!

select(Elem, Lista, Marad): egy listából kivesz egy elemet. Marad az Elem kivételével kapott lista.
<pre>
select(Elem, [Elem|Marad], Marad).
select(Elem, [X|Lista], [X|MaradF]) :-
	select(Elem, Lista, MaradF).
</pre>
Ha az első elemet akarjuk elhagyni, akkor az első klóz dolgozik, ha nem az elsőt, akkor azt változatlanul hagyjuk, és a lista farkára hívjuk meg a selectet.


[[Category:Infoalap]]