submitting prolog