Did you know ... Search Documentation:
bim.pl -- BIM compatibility layer
PublicShow source

This file contains some predicates that are defined in BIM-prolog and not in SWI-prolog (or at least not with the same meaning). In case a predicate has a different meaning in SWI-prolog and in proLog by BIM renaming is done. Remark that some predicates are only partially covered, feel free to add.

- Henk Vandecasteele Departement Computerwetenschappen Katholiek Universiteit Leuven Celestijnenlaan 200A 3001 Heverlee BELGIUM henk.vandecasteele@cs.kuleuven.ac.be
Source bim_expansion(+In, +Out)[multifile]
goal_expansion rules to emulate YAP behaviour in SWI-Prolog. The expansions below maintain optimization from compilation. Defining them as predicates would loose compilation.
Source index(+PI, +Indices) is det
Index in the given arguments. SWI-Prolog performs JIT indexing.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source record(Arg1, Arg2, Arg3)
Source rerecord(Arg1, Arg2)
Source bim_erase(Arg1, Arg2)
Source erase_all(Arg1)
Source update(Arg1)
Source please(Arg1, Arg2)
Source bim_erase(Arg1)
Source setdebug
Source cputime(Arg1)
Source writeClause(Arg1, Arg2)
Source bim_random(Arg1)
Source vread(Arg1, Arg2)
Source predicate_type(Arg1, Arg2)
Source bindVariables(Arg1)
Source atomconcat(Arg1, Arg2, Arg3)
Source printf(Arg1, Arg2)
Source bim_recorded(Arg1, Arg2, Arg3)
Source inttoatom(Arg1, Arg2)