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 vread(Arg1, Arg2)
Source printf(Arg1, Arg2)
Source bindVariables(Arg1)
Source inttoatom(Arg1, Arg2)
Source record(Arg1, Arg2, Arg3)
Source erase_all(Arg1)
Source bim_recorded(Arg1, Arg2, Arg3)
Source rerecord(Arg1, Arg2)
Source setdebug
Source bim_erase(Arg1, Arg2)
Source bim_erase(Arg1)
Source please(Arg1, Arg2)
Source atomconcat(Arg1, Arg2, Arg3)
Source bim_random(Arg1)
Source update(Arg1)
Source writeClause(Arg1, Arg2)
Source cputime(Arg1)
Source predicate_type(Arg1, Arg2)