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.

API documentation

Open the ../../docs/library_index.html#types link in a web browser.


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.


To test this library predicates, load the tester.lgt file:

| ?- logtalk_load(types(tester)).