Prolog passt(zumindest vom Aufbau her)