Fix for Problem with if-then-else

trealla-prolog · Jan 22, 2025 · 95bc73e · 95bc73e
1 parent 7b4c2bb
commit 95bc73e
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/tests/issues/test651.expected b/tests/issues/test651.expected
@@ -0,0 +1 @@
+here1{true}here2{\+true}here3{\+true}
diff --git a/tests/issues/test651.pl b/tests/issues/test651.pl
@@ -0,0 +1,13 @@
+:- initialization(main).
+
+main :-
+     member(X,[true,\+true]),
+     (   X ->
+         write(here1),
+         X
+     ; \+X ->
+         write(here2),
+         (\+X; write(here3))
+     ),
+     write({X}), fail.
+main :- nl.