From: Mark <markjordanthom@gmail.com>
Date: Thu, 29 Feb 2024 22:12:58 +0000 (-0700)
Subject: add #2341 test to lib_machine.rs
X-Git-Tag: v0.10.0~160
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f2d3779fa944adacac3a76066360076b438c3c1b;p=scryer-prolog.git

add #2341 test to lib_machine.rs
---

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));
+    }
 }