chore: simplify QuerySolver initialization and comment out function i…

…n resolver.rs.
pluveto · Nov 21, 2024 · 92602bd · 92602bd
1 parent dbf99e1
commit 92602bd
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/rulog_vm/src/interpreter.rs b/rulog_vm/src/interpreter.rs
@@ -61,7 +61,7 @@ impl Interpreter {
     ) -> Result<(), InterpretingError> {
         log::trace!("handle query: {:?}", query);
         let handler = handler.unwrap_or(&PrintSolutionHandler);
-        let mut query_solver = QuerySolver::new(self.clauses.clone(), query);
+        let query_solver = QuerySolver::new(self.clauses.clone(), query);
 
         let mut has_solution = false;
         for solution in query_solver {

diff --git a/rulog_vm/src/resolver.rs b/rulog_vm/src/resolver.rs
@@ -352,14 +352,14 @@ fn apply_env_terms(terms: &[Term], env: &Environment) -> Vec<Term> {
     terms.iter().map(|t| apply_env(t, env)).collect()
 }
 
-fn unify(term1: &Term, term2: &Term) -> Option<Environment> {
-    let mut env = Environment::default();
-    if unify_helper(term1, term2, &mut env) {
-        Some(env)
-    } else {
-        None
-    }
-}
+// fn unify(term1: &Term, term2: &Term) -> Option<Environment> {
+//     let mut env = Environment::default();
+//     if unify_helper(term1, term2, &mut env) {
+//         Some(env)
+//     } else {
+//         None
+//     }
+// }
 
 fn unify_terms(terms1: &[Term], terms2: &[Term]) -> Option<Environment> {
     let mut env = Environment::default();