Abstrakte Syntax; Prolog (Listenoperationen)