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. 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.


Neng-Fa Zhou 2013-01-25