A vágó használata: első megoldásra való szűkítés (memberchk/2) forrásának megtekintése

{{GlobalTemplate|Infoalap|PrologElm14}}

* fejezetek: 4.1.3 P4 példa
* fóliák: II.23-25

Használata:
* behelyettesítést nem okozó, eldöntendő kérdés esetén (eljáráshívás csupa bemenő paraméterrel)
* optimalizálásra
* végtelen sok választási pontot hagyó eljárások hasznosítására
<pre>
van_elég_hosszú_út(N, A, B, Min) :-
	útvonal(N, A, B, Hossz), Hossz >= Min, !.
</pre>
Nincs értelme többszörös választ adni vagy várni.
<pre>
kezdethossz(L, H) :-
	L = [E|_], append(Ek, Farok, L),
	\+ Farok = [E|_], !,
	length(Ek, H).
</pre>
Itt az optimalizálás a lényeg: ha egyszer talált egy különböző elemet, ne menjen végig a lista további elemein (vörös vágó).
A member, ha ellenőrzésre használjuk, végtelen sok megoldást ad:
<pre>
| ?- member(2, L).
L = [2|_A] ? ;
L = [_A,2|_B] ? ;
L = [_A,_B,2|_C] ? ;
L = [_A,_B,_C,2|_D] ? ;
L = [_A,_B,_C,_D,2|_E] ? ;
L = [_A,_B,_C,_D,_E,2|_F] ?
yes
</pre>
Ezért használhatjuk a memberchk/2 eljárást:
<pre>
memberchk(E, L) :-
	member(E, L), !.
| ?- memberchk(2, L).
L = [2|_A] ? ;
no
</pre>
Eldöntendő kérdésekben nem keresi végig a lista maradékát, miután megtalálta.


[[Category:Infoalap]]