dialect

Prolog files

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.
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