function

(old) Eine "function" Funktion ist ein Term, der einen weiteren Term als Argument entgegennimmt und als Resultat einen (neuen) Term liefert. Dieser kann wieder eine Funktion sein. Operatoren, Zuweisungen für Eigenschaften, Funktionen im engeren Sinne, Methoden... Wenn man eine Funktion behandeln kann, also Aussagen über die Funktion treffen etc., so ist auch die Funktion ein Term. Eine Funktion hat genau ein Argument. Wenn mehrere Argumente benötigt werden, gibt es zwei Möglichkeiten: a.) Currying, Schönfinkeln, Schönfinkelisation: Das Ergebnis der Anwendung der Funktion ist wieder eine Funktion, die wiederum ein Argument entgegennehmen kann usw. b.) Das Argument ist eine Liste von Termen Die beiden Möglichkeiten können mit einer Äquivalenzumformumg in einander umgeformt werden.