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