https://vik.wiki/index.php?action=history&feed=atom&title=Vez%C3%A9rl%C3%A9si_elj%C3%A1r%C3%A1sok 2026-05-17T22:34:56Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=Vez%C3%A9rl%C3%A9si_elj%C3%A1r%C3%A1sok&diff=137888&oldid=prev 2012-10-21T20:09:11Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|PrologElm16}} * fejezetek: 5.2 * fóliák: II.27-32 Felsorolásszerűen: * !/0 - vágó * call/1 * fail/0 * true/0 * (,)/2 - konjunkció * …”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|PrologElm16}}<br /> <br /> * fejezetek: 5.2<br /> * fóliák: II.27-32<br /> <br /> Felsorolásszerűen:<br /> <br /> * !/0 - vágó<br /> * call/1<br /> * fail/0<br /> * true/0<br /> * (,)/2 - konjunkció<br /> * (;)/2 - diszjunkció<br /> * (-&gt;)/2 - if-then<br /> * (-&gt;;)/3 - if-then-else ((ez nem így van a jegyzetben, szóval lehet, hogy nagy baromság, de szerintem így jó ^_^. Jegyzetben: (;)/2 - if-then-else))<br /> * (\+)/1 - nem bizonyítható<br /> * repeat/0.&lt;br /&gt;<br /> <br /> Bővebben:<br /> <br /> * !: Megszünteti az összes választási pontot egészen a szülő célig, azt is beleértve.<br /> <br /> * call: call(X) igaz, ha X igaz. A rendszer meghívja X-et célként, és annak sikere dönti el az eljárás sikerét. Végrehajtáskor X már nem lehet változó! Pl.:<br /> &lt;pre&gt;<br /> ketszer(X) :- call(X), call(X).<br /> | ?- ketszer(nl).<br /> &lt;/pre&gt;<br /> Hívási minta: call(+:Cél).<br /> <br /> * fail: Azonosan hamis (mindig meghiúsul).<br /> <br /> * true: Azonosan igaz (mindig sikerül).<br /> <br /> * &#039;,&#039; (konjunkció): &lt;br&gt;<br /> Hívási minta: Első, Második &lt;br&gt;<br /> A rendszer először célként meghívja Elsőt és ha sikerült, akkor célként meghívja Másodikat.<br /> <br /> * &#039;;&#039; (diszjukció): &lt;br&gt;<br /> Hívási minta: (Első; Második) &lt;br&gt;<br /> A rendszer először célként meghívja Első-t, majd annak meghiúsulása esetén (visszalépéskor)<br /> Második-at.<br /> <br /> * -&gt; (if-then): &lt;br&gt;<br /> Hívási minta: (Ha -&gt; Akkor) &lt;br&gt;<br /> A rendszer megkeresi a Ha első megoldását. Ha ez sikerül, meghívja Akkor-t.<br /> <br /> * -&gt; ; (if-then-else): &lt;br&gt;<br /> Hívási minta: (Ha -&gt; Akkor; Egyébként) &lt;br&gt;<br /> A rendszer először célként meghívja Ha-t. Ha az sikerül, akkor meghívja Akkor-t, egyébként<br /> meghívja Egyébként-et.<br /> <br /> * \+ (nem bizonyítható): &lt;br&gt;<br /> Hívási minta: \+ :+Cél &lt;br&gt;<br /> Meghívja Cél-t és ha az meghiúsul, akkor sikerül, egyébként meghiúsul. Működésben megegyezik a =(Cél -&gt; false ; true)= szerkezettel.<br /> <br /> * repeat: választási pontot hoz létre, majd sikerül. Így végtelen megoldást kaphatunk. Vágóval együtt használjuk. Működés szempontjából a Pascalból ismert =repeat...until= ciklushoz hasonlít leginkább (hátultesztelős és a ciklusból kilépés feltételét kell megadni).<br /> &lt;pre&gt;<br /> főciklus :- <br /> repeat,<br /> read(X),<br /> feldolgoz(X),<br /> X = end_of_file, !.<br /> &lt;/pre&gt;<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user