From 92602bd16a09df9f155a7b21c3b4c2f8a8aaa0e7 Mon Sep 17 00:00:00 2001
From: pluveto <zijing.zhang@proton.me>
Date: Thu, 21 Nov 2024 21:52:07 +0800
Subject: [PATCH] chore: simplify QuerySolver initialization and comment out
 function in resolver.rs.

---
 rulog_vm/src/interpreter.rs |  2 +-
 rulog_vm/src/resolver.rs    | 16 ++++++++--------
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/rulog_vm/src/interpreter.rs b/rulog_vm/src/interpreter.rs
index 5d10d0d..6cb8acb 100644
--- 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
index d0374c9..18c533f 100644
--- 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();