A data type is a set of values and a set of predicates on the values. The following depicts the containing relationship of the types available in B-Prolog.
The B-Prolog system provides a set of built-in predicates for each of the types. Built-ins cannot be redefined, unless the Prolog flag redefine_builtin is set to be on.
- floating-point number
- compound term