From f2d3779fa944adacac3a76066360076b438c3c1b Mon Sep 17 00:00:00 2001
From: Mark <markjordanthom@gmail.com>
Date: Thu, 29 Feb 2024 15:12:58 -0700
Subject: [PATCH] add #2341 test to lib_machine.rs

---
 src/machine/lib_machine.rs | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs
index 0bebfdc3..d65fc539 100644
--- a/src/machine/lib_machine.rs
+++ b/src/machine/lib_machine.rs
@@ -609,4 +609,25 @@ mod tests {
             Err(String::from("error existence_error procedure / non_existent_predicate 3 / non_existent_predicate 3"))
         );
     }
+
+    #[test]
+    fn issue_2341() {
+        let mut machine = Machine::new_lib();
+
+        machine.load_module_string(
+            "facts",
+            String::from(
+                r#"
+                male(stephen).
+                parent(albert,edward).
+                father(F,C):-parent(F,C),male(F).
+        "#,
+            ),
+        );
+
+        let query = String::from(r#"father(F,C)."#);
+        let output = machine.run_query(query);
+
+        assert_eq!(output, Ok(QueryResolution::False));
+    }
 }
-- 
2.54.0