prozedurale_vs_logische_Programmierung

Prozedurale Programmierung Logische Programmierung
Prozedur p Prädikat p
p(x1,…,xm) liefet y p(X1,…,Xm,Y1,…,Yn) instantiiert Variablen
x1,…,xm Eingabeargumente X1,…,Xm Eingabeargumente
y Ergebnis Y1,…,Yn Ausgabeargumente
Variablenwerte können überschrieben werden. Instantiierte Variablen können ihren Wert nicht mehr ändern (Variablen sind single assignment).
Programmschleifen durch Rekursion oder Iteration Programmschleifen durch Rekursion. Der Compiler wandelt Tail Recursion in Iteration um.

Author: Elmar Eder

Created: 2016-06-20 Mon 07:40

Emacs 24.4.1 (Org mode 8.2.10)