Prolog erweitert