From: Markus Triska <triska@metalevel.at>
Date: Tue, 23 Aug 2022 17:54:11 +0000 (+0200)
Subject: ADDED: chars_si/1, testing for a string
X-Git-Tag: v0.9.1^2~27
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6a455d28665fb6288d5a1814ff422972b3fc05c5;p=scryer-prolog.git

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 173e2635..7fc3a596 100644
--- 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).