Kifejezések szabványos sorrendje, kifejezés-összehasonlító beépített eljárások forrásának megtekintése

{{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 létezik egy szabványos sorrendje. A sorbarendezéshez definiálni kell egy összehasonlító relációt. X<Y formula jelentése, hogy X megelőzi a z Y-t a szabvány rendezés szerint.
definiciója:
* X és Y azonos, akkor sem X < Y sem Y < X nem teljesül.
* X és Y típusa különbözik akkor változó < lebegőpontos < egész < név < struktúra
* X és Y különböző akkkor sorrendjük rendszerfüggő (pl.: SicStus-ban felbukkanási sorrend szerint)
* X és Y lebegőpontos, ekkor X < Y <=> X<Y
* X és Y egyaránt név, az abc sorrend dönt
* X és Y struktúra típusú:
** Ha X és Y aritása (argumentumszáma) különböző, akkor: X < Y ha X aritás kisebb mint Y aritása.
** Egyébként, ha struktúrák neve különböző: X < Y, ha X neve abc-ben előrébb van Y-nál.
** Egyébként, balról az első nem azonos argumentum dönt.
	


[[Category:Infoalap]]