builtin+predicates

The builtins are listed here in the order in which they appear in the ISO standard. This is preceded by a table which is in a somewhat alphabetic order.
 * [|abolish/1] || [|All Solutions] || [|arg/3] || [|Arithmetic Comparison] ||
 * [|Arithmetic Evaluation] || [|asserta/1] || [|assertz/1] || [|atom/1] ||
 * [|atom_chars] || [|atom_codes/2] || [|atom_concat/3] || [|atomic/1] ||
 * [|atom_length/2] || [|Atom Processing] || [|bagof/3] || [|catch/3 and throw/1] ||
 * [|char_code/2] || [|char_conversion/2 and current_char_conversion/2] || [|clause/2] || [|Closing a stream: close/1 and close/2] ||
 * [|compound/1] || [|copy_term/2] || [|current_predicate/1] || [|current_prolog_flag/2] ||
 * [|current_input/1] || [|current_output/1] || [|Evaluable Functors] || [|findall/3] ||
 * [|Prolog Flags] || [|float/1] || [|flush_output/1, flush_output/0] || [|functor/3] ||
 * [|get_byte/2, get_byte/1] || [|get_char/2, get_char/1] || [|get_code/2, get_code/1] || [|halt/0 and halt/1] ||
 * [|Implementation defined hooks] || [|integer/1] || [|Input and Output] || [|Logic and Control] ||
 * [|nonvar/1] || [|(\+)/1 - not provable] || [|number/1] || [|number_chars/2] ||
 * [|number_codes/2] || [|once/1] || [|Opening a Stream: open/4] || [|op/3 and current_op/3] ||
 * [|Other arithmetic and Bitwise functors] || [|peek_byte/2, peek_byte/1] || [|peek_char/2, peek_char/1] || [|peek_code/2, peek_code/1] ||
 * [|put_byte/2, put_byte/1] || [|put_char/2, put_char/1, put_code/2, put_code/1, nl/0,nl/1] || [|Reading from Binary streams] || [|Character Input Output] ||
 * [|Reading from text streams] || [|read_term/2 read_term/3, read/1, read/2] || [|repeat/0] || [|retract/1] ||
 * [|set_input/1] || [|setof/3] || [|set_output/1] || [|set_stream_position/2] ||
 * [|stream_property/2] || [|at_end_of_stream/0,1] || [|Stream Selection and Control] || [|sub_atom/5] ||
 * [|Term Comparison] || [|Term Creation and Decomposition] || [|Term Input and Output] || [|Prolog Unification =/2] ||
 * [|unify_with_occurs_check/2] || [|(=../2) -- univ] || var/1 || [|Writing terms] ||