Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|PrologElm27}} * fejezetek: 4.10 * fóliák: 238-243 Olyan eljárások, melyek argumentuma egy másik eljárás. ==Megoldásgyűjtő eljá…”

2012-10-21T20:09:36Z

Új oldal, tartalma: „{{GlobalTemplate|Infoalap|PrologElm27}} * fejezetek: 4.10 * fóliák: 238-243 Olyan eljárások, melyek argumentuma egy másik eljárás. ==Megoldásgyűjtő eljá…”

Új lap

{{GlobalTemplate|Infoalap|PrologElm27}}

* fejezetek: 4.10
* fóliák: 238-243

Olyan eljárások, melyek argumentuma egy másik eljárás.

==Megoldásgyűjtő eljárások==

Lista páros elemeinek felsorolása:
<pre>
findall(X, (member(X,L), X mod 2 =:= 0), Pk).
</pre>

==Meta-eljárások megoldásgyűtő eszközökkel==

Tetszőleges Prolog predikátum szerint is szűrhetjük a listát.
<pre>
filter(L, X, Pred, FL) :-
findall(X, (member(X, L), call(Pred)), FL).
</pre>

A funkcionális nyelvekből jól ismert map függvény Prolog verziója:
<pre>
map(L, X, Pred, Y, ML) :-
findall(Y, (member(X, L), Pred), ML).
</pre>

==Részlegesen paraméterezett eljárások==

Egy olyan map függvényt írunk, amelynek olyan kifejezéseket adunk át, amelyek önmagukban nem hívhatók meg, hanem csak úgy, hogy ezeket a kifejezéseket ellátjuk két további paraméterrel. Ezeket a kifejezéseket tehát joggal nevezhetjük részlegesen paraméterezett eljáráshívásoknak.

Konvenció: a magasabbrendű műveletekben érdekelt argumentumok mindig a predikátum utolsó argumentum-pozícióin vannak.
<pre>
% Pred utolsó két argumentumként az A és B kifejezésekkel
% kiegészítve igaz.
call2(Pred, A, B) :-
Pred =.. FArgs,
append(FArgs, [A,B], FArgs2),
Pred2 =.. FArgs2,
call(Pred2).
</pre>

==Részleges paraméterezést használó magasabbrendű eljárások==
<pre>
% map(Xs, Pred, Ys): Az Xs lista elemeire a Pred transzformációt
% alkalmazva kapjuk az Ys listát.
map([X|Xs], Pred, [Y|Ys]) :-
call2(Pred, X, Y),
map(Xs, Pred, Ys).
map([], _, []).

negyzet(X, Y) :- Y is X*X.

| ?- map([1,2,3,4], negyzet, L).
L = [1,4,9,16] ? ;
no
</pre>

[[Category:Infoalap]]

Magasabbrendű eljárások - Laptörténet

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|PrologElm27}} * fejezetek: 4.10 * fóliák: 238-243 Olyan eljárások, melyek argumentuma egy másik eljárás. ==Megoldásgyűjtő eljá…”