Function clingo::parse_term

pub fn parse_term(string: &str) -> Result<Symbol, ClingoError>

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.

Arguments

• string - the string to parse

Errors

• ClingoError::NulError - if string contains a nul byte
• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if parsing fails