Type Declarations
As discussed in the reference manual
QuLog comes with a collection of builtin types that include the following:
nat, int, num, atom, string, atomic, term,
list(T), set(T)
where the
T is a variable used as a type variable providing polymorphic types. These types can be used in the construction of user defined types.
There are two kinds of type declarations: enumerated, union and macro types; and code types.
Subsections