Function clingo_sys::clingo_parse_term

pub unsafe extern "C" fn clingo_parse_term(
    string: *const c_char,
    logger: clingo_logger_t,
    logger_data: *mut c_void,
    message_limit: c_uint,
    symbol: *mut clingo_symbol_t
) -> bool

! Parse a term in string form. ! ! The result of this function is a symbol. The input term can contain ! unevaluated functions, which are evaluated during parsing. ! ! @param[in] string the string to parse ! @param[in] logger optional logger to report warnings during parsing ! @param[in] logger_data user data for the logger ! @param[in] message_limit maximum number of times to call the logger ! @param[out] symbol the resulting symbol ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc ! - ::clingo_error_runtime if parsing fails