Data Types and Built-ins

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.

• term
  • atom
  • number
    • integer
    • floating-point number
  • variable
  • compound term
    • structure
    • list
    • array
    • hashtable

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.