basic_types

The basic_types library is a virtual library that loads only basic types from the types library:

• comparingp

• termp, term

• atomic, atom, number, float, integer

• compound, listp, list

• type

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(basic_types(loader)).

Testing

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

| ?- logtalk_load(types(tester)).