Struktúrák szétszedése és összerakása: az univ, functor/3 és arg/3 beépített eljárások forrásának megtekintése

{{GlobalTemplate|Infoalap|PrologElm23}}

* fejezetek: 4.7.2, (5.8.1-ben)

'''Az univ eljárás'''
 
struktúrák szétszedésére és összerakására 

<pre>
+Kif =.. ?Lista 
-Kif =.. +Lista 
</pre>

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


[[Category:Infoalap]]