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

FIXED: can_be(chars, [a,X]), i.e., if variables occur as elements

Browse Source 
This should simplify 2f3de51e55 and
other cases like it.
This commit is contained in:
Markus Triska
2022-05-14 08:09:01 +02:00
parent 2f3de51e55
commit 15cc916333
1 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/lib/error.pl
View File

@@ -128,7 +128,11 @@ can_be(Type, Term) :-
can_(integer, Term) :- integer(Term). can_(integer, Term) :- integer(Term).
can_(atom, Term) :- atom(Term). can_(atom, Term) :- atom(Term).
can_(character, T) :- character(T). can_(character, T) :- character(T).
can_(chars, Ls) :- '$is_partial_string'(Ls). can_(chars, Ls) :-
( '$is_partial_string'(Ls) -> true
; can_be(list, Ls),
can_be_chars(Ls)
).
can_(list, Term) :- list_or_partial_list(Term). can_(list, Term) :- list_or_partial_list(Term).
can_(boolean, Term) :- boolean(Term). can_(boolean, Term) :- boolean(Term).
can_(term, Term) :- can_(term, Term) :-
@@ -137,6 +141,12 @@ can_(term, Term) :-
; type_error(term, Term, can_be/2) ; type_error(term, Term, can_be/2)
). ).
can_be_chars(Var) :- var(Var), !.
can_be_chars([]).
can_be_chars([X|Xs]) :-
can_be(character, X),
can_be_chars(Xs).
list_or_partial_list(Ls) :- list_or_partial_list(Ls) :-
'$skip_max_list'(_, _, Ls, Rs), '$skip_max_list'(_, _, Ls, Rs),
( var(Rs) -> true ( var(Rs) -> true