Add check prolog function