This library implements predicates over standard Prolog term types and also term representing common data structures such as lists and pairs.
It also includes a user-extensible
type object defining type
checking predicates over common Logtalk and Prolog term types.
To load all entities in this library, load the
| ?- logtalk_load(types(loader)).
In case your code only requires the most basic types, you can load in alternative the file:
| ?- logtalk_load(basic_types(loader)).
See the notes on the
basic_types virtual library for details.
To test this library predicates, load the
| ?- logtalk_load(types(tester)).