Function clingo_sys::clingo_parse_program

pub unsafe extern "C" fn clingo_parse_program(
    program: *const c_char, 
    callback: clingo_ast_callback_t, 
    callback_data: *mut c_void, 
    logger: clingo_logger_t, 
    logger_data: *mut c_void, 
    message_limit: c_uint
) -> bool

Parse the given program and return an abstract syntax tree for each statement via a callback.

Parameters:

• program - the program in gringo syntax
• callback - the callback reporting statements
• callback_data - user data for the callback
• logger - callback to report messages during parsing
• logger_data - user data for the logger
• message_limit - the maximum number of times the logger is called

Returns whether the call was successful; might set one of the following error codes:

• ::clingo_error_runtime if parsing fails
• ::clingo_error_bad_alloc