ADDED: chars_si/1, testing for a string

Examples:

    ?- chars_si("hello").
       true.

    ?- chars_si(5).
       false.

    ?- chars_si([a,b,c|Rs]).
       error(instantiation_error,sort/2).

diff --git a/src/lib/si.pl b/src/lib/si.pl
index 173e263521497da332c93c521785ad2a8cf6ebf5..7fc3a5965de94ff80b2f9ead832d2a9d533a48c1 100644 (file)
--- a/src/lib/si.pl
+++ b/src/lib/si.pl
@@ -27,7 +27,8 @@
 :- module(si, [atom_si/1,
                integer_si/1,
                atomic_si/1,
-               list_si/1]).
+               list_si/1,
+               chars_si/1]).
 
 :- use_module(library(lists)).
 
@@ -45,3 +46,7 @@ atomic_si(AC) :-
 list_si(L) :-
    \+ \+ length(L, _),
    sort(L, _).
+
+chars_si(Cs) :-
+   list_si(Cs),
+   '$is_partial_string'(Cs).