pushing some prolog stuff up