SWI-Prolog
Using has_type(list(Type), X) with user created type not working as expected
Help!
EricGT
Split this topic
October 2, 2019, 10:43am
6
3 posts were split to a new topic:
Types with SWI-Prolog
show post in topic
Related topics
Topic
Replies
Views
Activity
Must_be/2 and is_of_type/2 types
Nice to know
0
742
November 26, 2019
What's the rationale for `must_be/2` to throw on type mismatch?
Help!
discussion
10
1230
June 25, 2020
Error with discontinuous predicate
Help!
11
629
September 26, 2020
Is there a has_type/2 for difference list?
Predicate
difference-list
,
has_type2
9
1231
July 16, 2020
Use_module not importing all predicates
Help!
28
1569
March 22, 2020