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
asserta_with_names/2	Predicates that manage the database while keeping track of variable names.
assertz_with_names/2	Predicates that manage the database while keeping track of variable names.
assign_alias/2
atom_part/4	True when Sub is part of the atom [Pos,Pos+Len).
atom_prefix/3	Unifies Sub with the atom formed by the first Len characters in atom.
atom_split/3	Split Atom over Delimiter and unify the parts with Subatoms.
atom_suffix/3	Unifies Sub with the atom formed by the last Len characters in atom.
block/3	The control construct block/3 runs Goal in a block labelled Tag.
calling_context/1	Mapped to context_module/1.
clause_with_names/3	Predicates that manage the database while keeping track of variable names.
context/2	IF/Prolog context/2 construct.
context/2	Is mapped to catch(Goal, Error, Recover) is Handler is error(_,_) => Recover.
current_default_module/1	Name of the toplevel typein module.
current_error/1	Doesn't exist in SWI-Prolog, but user_error is always an alias to the current error stream.
current_global/1	IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates.
current_signal/2	True when Mode is the current mode for handling Signal.
current_visible/2	FIXME check with documentation.
cut_block/1	The control construct block/3 runs Goal in a block labelled Tag.
debug_config/3	Ignored.
debug_mode/3	Old is not unified.
digit/1	Is the character A a digit [0-9].
exit_block/1	The control construct block/3 runs Goal in a block labelled Tag.
file_test/2	Mapped to access_file/2 (which understand more modes).
filepos/2	from the IF/Prolog documentation The predicate filepos/2 determines the current line position of the specified input stream and unifies the result with Line.
filepos/3	from the IF/Prolog documentation The predicate filepos/2 determines the current line position of the specified input stream and unifies the result with Line.
float_format/2	Ignored.
for/3	Similar to between/3, but can count down if Start > End.
get_global/2	IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates.
get_until/3	Read input from Stream until SearchChar.
get_until/4	Read input from Stream until SearchChar.
getchar/3	Unifies Char with the Position-th character in Atom If Pos < 1 or Pos > length of Atom, then fail.
getcwd/1	The predicate getcwd/1 unifies Dir with the full pathname of the current working directory.
if_concat_atom/2	True when Atom is the concatenation of the lexical form of all elements from List.
if_concat_atom/3	True when Atom is the concatenation of the lexical form of all elements from List, using Delimiter to delimit the elements.
ifprolog_debug/1	Map IF/Prolog debug(Goal)@Module.
ifprolog_goal_expansion/2	goal_expansion rules to emulate IF/Prolog behaviour in SWI-Prolog.
ifprolog_term_expansion/2	term_expansion rules to emulate IF/Prolog behaviour in SWI-Prolog.
index/3	True when Position is the first occurrence of String in Atom.
letter/1	Is the character A a letter [A-Za-z].
list_length/2	Deterministic version of length/2.
load/1	Mapped to consult.
localtime/9	Break system time into its components.
lower_upper/2	Multi-moded combination of upcase_atom/2 and downcase_atom/2.
match/2	Same as once(match(Mask, Atom, _Replacements)).
match/3	Pattern matching.
modify_mode/3	Switch between static and dynamic code.
parse_atom/6	Read from an atom.
predicate_type/2	True when Type describes the type of PI.
program_parameters/1	All command-line argument, including the executable,.
prolog_version/1	Return IF/Prolog simulated version string.
proroot/1	True when Path is the installation location of the Prolog system.
retract_with_names/2	Predicates that manage the database while keeping track of variable names.
set_default_module/1	Set the default toplevel module.
set_global/2	IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates.
system_name/1	True when SystemName identifies the operating system.
unset_global/1	IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates.
user_parameters/1	Parameters after --.
write_atom/2	Use write/1 to write Term to Atom.
write_formatted/2	Emulation of IF/Prolog formatted write.
write_formatted/3	Emulation of IF/Prolog formatted write.
write_formatted_atom/3	Emulation of IF/Prolog formatted write.
writeq_atom/2	Use writeq/1 to write Term to Atom.
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
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.