pub fn compile(input: &str) -> Result<String, ParseError>Expand description
Compile natural language input to first-order logic with default options.
pub fn compile(input: &str) -> Result<String, ParseError>Compile natural language input to first-order logic with default options.