https://vik.wiki/index.php?action=history&feed=atom&title=Kifejez%C3%A9sek_szabv%C3%A1nyos_sorrendje%2C_kifejez%C3%A9s-%C3%B6sszehasonl%C3%ADt%C3%B3_be%C3%A9p%C3%ADtett_elj%C3%A1r%C3%A1sok 2026-05-16T23:29:49Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=Kifejez%C3%A9sek_szabv%C3%A1nyos_sorrendje,_kifejez%C3%A9s-%C3%B6sszehasonl%C3%ADt%C3%B3_be%C3%A9p%C3%ADtett_elj%C3%A1r%C3%A1sok&diff=137906&oldid=prev 2012-10-21T20:09:29Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|PrologElm24}} * fejezetek: 4.7.4, (5.6) * fóliák: 225-228 ==4.7.4 Kifejezések rendezése, szabványos sorrend== A Prolog kifejezéseknek…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|PrologElm24}}<br /> <br /> * fejezetek: 4.7.4, (5.6)<br /> * fóliák: 225-228<br /> <br /> ==4.7.4 Kifejezések rendezése, szabványos sorrend==<br /> <br /> A Prolog kifejezéseknek létezik egy szabványos sorrendje. A sorbarendezéshez definiálni kell egy összehasonlító relációt. X&lt;Y formula jelentése, hogy X megelőzi a z Y-t a szabvány rendezés szerint.<br /> definiciója:<br /> * X és Y azonos, akkor sem X &lt; Y sem Y &lt; X nem teljesül.<br /> * X és Y típusa különbözik akkor változó &lt; lebegőpontos &lt; egész &lt; név &lt; struktúra<br /> * X és Y különböző akkkor sorrendjük rendszerfüggő (pl.: SicStus-ban felbukkanási sorrend szerint)<br /> * X és Y lebegőpontos, ekkor X &lt; Y &lt;=&gt; X&lt;Y<br /> * X és Y egyaránt név, az abc sorrend dönt<br /> * X és Y struktúra típusú:<br /> ** Ha X és Y aritása (argumentumszáma) különböző, akkor: X &lt; Y ha X aritás kisebb mint Y aritása.<br /> ** Egyébként, ha struktúrák neve különböző: X &lt; Y, ha X neve abc-ben előrébb van Y-nál.<br /> ** Egyébként, balról az első nem azonos argumentum dönt.<br /> <br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user