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. The types
define a hierarchy with the Prolog type
term at the root (i.e.
type-checking a predicate argument of type
term trivially succeeds).
Some types are only meaningful for backend Prolog systems supporting
non-universal features (e.g.
char(CharSet) with a
Unicode character set). See the API documentation for a full list of the
types defined by default.
Open the ../../docs/library_index.html#types link in a web browser.
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)).