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.

Parameters:

• string the string to parse
• logger optional logger to report warnings during parsing
• logger_data user data for the logger
• message_limit maximum number of times to call the logger
• symbol the resulting symbol

Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc - ::clingo_error_runtime if parsing fails