Added prolog aliases