types
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. cyclic
or char(CharSet)
with a
Unicode character set). See the API documentation for a full list of the
types defined by default.
API documentation
Open the ../../docs/library_index.html#types link in a web browser.
Loading
To load all entities in this library, load the loader.lgt
file:
| ?- 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.
Testing
To test this library predicates, load the tester.lgt
file:
| ?- logtalk_load(types(tester)).