LISP
Programmverbesserungen durch Umformen - Regelanwendung
Bei der Untersuchung von Funktionsdefinitionen wird schnell klar, dass
...