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 wikiről lett áthozva.

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