pub async fn logic_prove( predicate: &str, terms: &[String], format: &str, ) -> Result<()>
Generate proof for a goal