rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
841 Commits 2 Branches 18 Tags
1569cac98f22c77bf50d0f15651603ed4f45b350
Commit Graph
3 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Markus Triska 930e9a9e82 ADDED: library(si) for safe type tests. 2019-09-25 23:17:50 +02:00
Markus Triska 43f7743467 ENHANCED: Better error handling if Type is invalid. 
Strictly speaking, type is currently not a type, so a domain error is
appropriate if Type is not a valid type. However, there are also other
cases where new types have been introduced in the past, and this
seems a good candidate for a new type. Let us hence use a type error.

Example:

    ?- can_be(listi, [a,b|Ls]).
    %@ ERROR: Type error: `type' expected, found `listi' (an atom)
 2018-09-30 23:36:32 +02:00
Markus Triska 373546e83d correct can_be/2 for partial lists 
Example:

    ?- can_be(list, [a,b|Ls]).
    %@ true.
 2018-09-28 18:20:57 +02:00