module Builtin: sig
.. end
Implementation of some Built-Ins.
val init_builtins : Term.symbol_table -> unit
Initialize the association of builtins and predicate
symbols for the given symbol_table. This function has to be called
on a symbol table, before the builtins can be used.
val clear_builtins : Term.symbol_table -> unit
Remove the association of builtins and predicate symbols
for the given symbol_table.
Extending the System with Built-Ins
val register_builtin : Term.symbol_table -> string -> int -> Term.p -> unit
register_builtin symbol_table name arity implementation
effects that
the predicate name
/arity
becomes available as builtin. See module term
for more information.