Monopoly in mit Prolog Logik