rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #1948 from triska/chars_si

Browse Source 
add character_si/1 and use it to correct chars_si/1
This commit is contained in:
Mark Thom
2023-08-03 18:34:19 -06:00
committed by GitHub
parent ec450fc567 8073a4ba87
commit ffbf630b5c
1 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/lib/si.pl
View File

@@ -36,6 +36,7 @@
integer_si/1, integer_si/1,
atomic_si/1, atomic_si/1,
list_si/1, list_si/1,
character_si/1,
chars_si/1, chars_si/1,
dif_si/2]). dif_si/2]).
@@ -62,9 +63,15 @@ list_si(L0) :-
; throw(error(instantiation_error, list_si/1)) ; throw(error(instantiation_error, list_si/1))
). ).
chars_si(Cs) :- character_si(Ch) :-
list_si(Cs), functor(Ch,Ch,0),
'$is_partial_string'(Cs). atom(Ch),
atom_length(Ch,1).
chars_si(Chs) :-
\+ \+ length(Chs,_),
\+ ( once(length(Chs,_)), member(Ch,Chs), nonvar(Ch), \+ character_si(Ch) ),
\+ ( member(Ch,Chs), \+ character_si(Ch) ). % for the instantiation error
dif_si(X, Y) :- dif_si(X, Y) :-
X \== Y, X \== Y,