Function clingo_sys::clingo_control_add

pub unsafe extern "C" fn clingo_control_add(
    control: *mut clingo_control_t, 
    name: *const c_char, 
    parameters: *const *const c_char, 
    parameters_size: usize, 
    program: *const c_char
) -> bool

! Extend the logic program with the given non-ground logic program in string form. ! ! This function puts the given program into a block of form: \#program name(parameters). ! ! After extending the logic program, the corresponding program parts are typically grounded with ::clingo_control_ground. ! ! @param[in] control the target ! @param[in] name name of the program block ! @param[in] parameters string array of parameters of the program block ! @param[in] parameters_size number of parameters ! @param[in] program string representation of the program ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc ! - ::clingo_error_runtime if parsing fails