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

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor kérlek javíts rajta egy rövid szerkesztéssel.

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót

• 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.