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