fixed prolog typo