Merge pull request #1796 from triska/dif_si

ADDED: dif_si/2
mthom · Apr 22, 2023 · 198e925 · 198e925
2 parents 502574d + 8b7281f
commit 198e925
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/src/lib/si.pl b/src/lib/si.pl
@@ -36,7 +36,8 @@
                integer_si/1,
                atomic_si/1,
                list_si/1,
-               chars_si/1]).
+               chars_si/1,
+               dif_si/2]).
 
 :- use_module(library(lists)).
 
@@ -64,3 +65,9 @@
 chars_si(Cs) :-
    list_si(Cs),
    '$is_partial_string'(Cs).
+
+dif_si(X, Y) :-
+   X \== Y,
+   ( X \= Y -> true
+   ; throw(error(instantiation_error,dif_si/2))
+   ).