Sign in to confirm you’re not a bot
This helps protect our community. Learn more

Type tests in Prolog

The Power of Prolog
6.07K subscribers
<__slot-el>
<__slot-el>
3.1K views 5 years ago
Prolog provides several predicates for type testing: the ..._si/1 ("sufficiently instantiated") family of type tests, must_be/2 and can_be/2. These predicates are monotonic and are useful for library authors and also in normal Prolog code. ...more
...more
Type tests in Prolog
48Likes
3,162Views
2019Apr 3
Prolog provides several predicates for type testing: the ..._si/1 ("sufficiently instantiated") family of type tests, must_be/2 and can_be/2. These predicates are monotonic and are useful for library authors and also in normal Prolog code.

Follow along using the transcript.

The Power of Prolog

6.07K subscribers