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
bounded_sublist/3	As sublist/2, but Sub has at most Bound elements.
chr_delete/3	Rest is a copy of List without elements matching Element using ==.
drop/3	Drop the first N elements from List and unify the remainder with LastElements.
intersect_eq/3	Determine the intersection of two lists without unifying values.
list_difference_eq/3	Delete all elements of Subtract from List and unify the result with Rest.
max_go_list/2	Return the maximum of List in the standard order of terms.
memberchk_eq/2	Deterministic check of membership using == rather than unification.
or_list/2	Do a bitwise disjuction over all integer members of ListOfInts.
split_at/4	Combines take/3 and drop/3.
sublist/2	True if all elements of Sub appear in List in the same order.
substitute_eq/4	Substitute OldVal by NewVal in OldList and unify the result with NewList.
take/3	Take the first N elements from List and unify this with FirstElements.
time/3	hProlog compatible predicate to for statistical purposes.
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
assert_static/1	Assert as static predicate.
depth_bound_call/2	Equivalent to call_with_depth_limit(Goal, Limit, _Reached).
exists/1	Equivalent to exists_file(File).
gc/0	Garbage collect.
source/0	YAP directive to maintain source-information.
system/1	Equivalent to shell(Command).
yap_expansion/2	goal_expansion rules to emulate YAP behaviour in SWI-Prolog.
yap_flag/2	Map some YAP flags to SWI-Prolog.
yap_style_check/1	Map YAP style-check options onto the SWI-Prolog ones.