Function clingo::parse_term

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

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

• NulError - if string contains a nul byte
• ErrorType::BadAlloc
• ErrorType::Runtime if parsing fails