bim.pl |
|---|
| bim_expansion/2 | goal_expansion rules to emulate YAP behaviour in SWI-Prolog. | |
| index/2 | Index in the given arguments. | |
| hprolog.pl -- hProlog compatibility library |
|---|
| ifprolog.pl -- IF/Prolog compatibility package |
|---|
| sicstus.pl -- SICStus 3 compatibility library |
|---|
| bb_delete/2 | SICStus compatible blackboard routines. | |
| bb_get/2 | SICStus compatible blackboard routines. | |
| bb_put/2 | SICStus compatible blackboard routines. | |
| bb_update/3 | SICStus compatible blackboard routines. | |
| create_mutable/2 | Create a mutable term with the given initial Value. | |
| get_mutable/2 | True if Value unifies with the current value of Mutable. | |
| if/3 | Same as SWI-Prolog soft-cut construct. | |
| is_mutable/1 | True if Term is bound to a mutable term. | |
| prolog_flag/3 | Query and set a Prolog flag. | |
| read_line/1 | Read a line from the given or current input. | |
| read_line/2 | Read a line from the given or current input. | |
| rename_module/2 | True if RenamedSICSTusModule is the name that we use for the SICStus native module SICStusModule. | |
| trimcore/0 | Trims the stacks and releases unused heap memory to the operating system where possible. | |
| update_mutable/2 | Set the value of Mutable to Value. | |
| use_module/3 | This predicate can be used to import from a named module while the file-location of the module is unknown or to get access to the module-name loaded from a file. | |
| sicstus4.pl -- SICStus 4 compatibility library |
|---|
| nonmember/2 | True if Element doesn't unify with any element in List. | |
| rename_module/2 | True if RenamedSICStus4Module is the name that we use for the SICStus 4 native module SICStus4Module. | |
| tau.pl -- Enable Tau-Prolog dialect emulation |
|---|
| xsb.pl -- XSB Prolog compatibility layer |
|---|
| abort/1 | Abort with a message. | |
| compile/2 | The XSB version compiles a file into .xwam without loading it. | |
| compiler_options/1 | Locally switch the compiler options. | |
| cputime/1 | True when Seconds is the used CPU time. | |
| debug_ctl/2 | Control the XSB debugger. | |
| fail_if/1 | Same as \+ (support XSB legacy code). | |
| fmt_write/2 | C-style formatted write, where the arguments are formed by the arguments of Term. | |
| fmt_write/3 | C-style formatted write, where the arguments are formed by the arguments of Term. | |
| gc_tables/1 | The table abolish predicates leave the actual destruction of the tables to the atom garbage collector to avoid deleting active tables. | |
| load_dyn/1 | Proper implementation requires the Quintus all_dynamic option. | |
| load_dyn/2 | Proper implementation requires the Quintus all_dynamic option. | |
| load_dync/1 | Proper implementation requires the Quintus all_dynamic option. | |
| load_dync/2 | Proper implementation requires the Quintus all_dynamic option. | |
| path_sysop/2 | Unified interface to the operations on files. | |
| path_sysop/3 | Unified interface to the operations on files. | |
| set_global_compiler_options/1 | Set the XSB global compiler options. | |
| setup_dialect/0 | Further dialect initialization. | |
| sk_not/1 | Sound negation with non-ground P. | |
| thread_shared/1 | Declare a dynamic predicate as shared. | |
| walltime/1 | True when Seconds is the wall time sice Prolog was started. | |
| xsb_import/2 | Make Predicates visible in From. | |
| xsb_set_prolog_flag/2 | Map some XSB Prolog flags to their SWI-Prolog's equivalents. | |
| yap.pl -- YAP Compatibility module |
|---|
