Struktúrák szétszedése és összerakása: az univ, functor/3 és arg/3 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.2, (5.8.1-ben)

Az univ eljárás

struktúrák szétszedésére és összerakására

+Kif =.. ?Lista 
-Kif =.. +Lista 

Az univ eljárás a Kif kifejezést egy olyan Listára bontja (ill. egy olyan Listából építi fel), amelynek az első eleme a kifejezés neve, a többi eleme pedig a kifejezés argumentumai, a megfelelő sorrendben.

functor/3

functor(Kif, Nev, ArgSzam): A Kif kifejezés és funktora, Név/ArgSzám közötti kapcsolatot írja le.

Használható egy adott kifejezés nevének és argumentumszámának meghatározására. Segítségével létre is hozhatunk egy adott nevű és argumentumszámú kifejezést (argumentumai különböző változók lesznek).

arg/3

arg(Sorszám, Kif, Arg): Akkor sikerül, ha a Kif kifejezés Sorszám-adik argumentuma Arg-gal egyesíthető.