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.

author

- Henk Vandecasteele Departement Computerwetenschappen Katholiek Universiteit Leuven Celestijnenlaan 200A 3001 Heverlee BELGIUM henk.vandecasteele@cs.kuleuven.ac.be

 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.

 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.

 predicate_type(Arg1, Arg2)

 vread(Arg1, Arg2)

 atomconcat(Arg1, Arg2, Arg3)

 printf(Arg1, Arg2)

 erase_all(Arg1)

 bim_recorded(Arg1, Arg2, Arg3)

 inttoatom(Arg1, Arg2)

 record(Arg1, Arg2, Arg3)

 rerecord(Arg1, Arg2)

 setdebug

 bim_erase(Arg1)

 bim_erase(Arg1, Arg2)

 please(Arg1, Arg2)

 bim_random(Arg1)

 cputime(Arg1)

 update(Arg1)

 bindVariables(Arg1)

 writeClause(Arg1, Arg2)