Up: Language Reference
Previous: Language Extensions
Currently, there are three libraries: Base (containing base types and
built-in functions), List (containing list operations) and
Option (containing operations on optional values). For each prdicate
or function, we summarize its type and expected modes of use (i.e., which
arguments can be thought of as inputs or putputs). These modes
are not currently part of or checked by Prolog.