Libraries

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 $\alpha$Prolog.