bim.pl![Show source Show source](/pldoc/res/source.png) |
bim_expansion/2 | goal_expansion rules to emulate YAP behaviour in SWI-Prolog. | ![Show source Source](/pldoc/res/source.png) |
index/2 | Index in the given arguments. | ![Show source Source](/pldoc/res/source.png) |
hprolog.pl -- hProlog compatibility library![Show source Show source](/pldoc/res/source.png) |
bounded_sublist/3 | As sublist/2, but Sub has at most Bound elements. | ![Show source Source](/pldoc/res/source.png) |
chr_delete/3 | Rest is a copy of List without elements matching Element using ==. | ![Show source Source](/pldoc/res/source.png) |
drop/3 | Drop the first N elements from List and unify the remainder with LastElements. | ![Show source Source](/pldoc/res/source.png) |
intersect_eq/3 | Determine the intersection of two lists without unifying values. | ![Show source Source](/pldoc/res/source.png) |
list_difference_eq/3 | Delete all elements of Subtract from List and unify the result with Rest. | ![Show source Source](/pldoc/res/source.png) |
max_go_list/2 | Return the maximum of List in the standard order of terms. | ![Show source Source](/pldoc/res/source.png) |
memberchk_eq/2 | Deterministic check of membership using == rather than unification. | ![Show source Source](/pldoc/res/source.png) |
or_list/2 | Do a bitwise disjuction over all integer members of ListOfInts. | ![Show source Source](/pldoc/res/source.png) |
split_at/4 | Combines take/3 and drop/3. | ![Show source Source](/pldoc/res/source.png) |
sublist/2 | True if all elements of Sub appear in List in the same order. | ![Show source Source](/pldoc/res/source.png) |
substitute_eq/4 | Substitute OldVal by NewVal in OldList and unify the result with NewList. | ![Show source Source](/pldoc/res/source.png) |
take/3 | Take the first N elements from List and unify this with FirstElements. | ![Show source Source](/pldoc/res/source.png) |
time/3 | hProlog compatible predicate to for statistical purposes. | ![Show source Source](/pldoc/res/source.png) |
ifprolog.pl -- IF/Prolog compatibility package![Show source Show source](/pldoc/res/source.png) |
asserta_with_names/2 | Predicates that manage the database while keeping track of variable names. | ![Show source Source](/pldoc/res/source.png) |
assertz_with_names/2 | Predicates that manage the database while keeping track of variable names. | ![Show source Source](/pldoc/res/source.png) |
assign_alias/2 | | ![Show source Source](/pldoc/res/source.png) |
atom_part/4 | True when Sub is part of the atom [Pos,Pos+Len). | ![Show source Source](/pldoc/res/source.png) |
atom_prefix/3 | Unifies Sub with the atom formed by the first Len characters in atom. | ![Show source Source](/pldoc/res/source.png) |
atom_split/3 | Split Atom over Delimiter and unify the parts with Subatoms. | ![Show source Source](/pldoc/res/source.png) |
atom_suffix/3 | Unifies Sub with the atom formed by the last Len characters in atom. | ![Show source Source](/pldoc/res/source.png) |
block/3 | The control construct block/3 runs Goal in a block labelled Tag. | ![Show source Source](/pldoc/res/source.png) |
calling_context/1 | Mapped to context_module/1. | ![Show source Source](/pldoc/res/source.png) |
clause_with_names/3 | Predicates that manage the database while keeping track of variable names. | ![Show source Source](/pldoc/res/source.png) |
context/2 | IF/Prolog context/2 construct. | ![Show source Source](/pldoc/res/source.png) |
context/2 | Is mapped to catch(Goal, Error, Recover) is Handler is error(_,_) => Recover . | ![Show source Source](/pldoc/res/source.png) |
current_default_module/1 | Name of the toplevel typein module. | ![Show source Source](/pldoc/res/source.png) |
current_error/1 | Doesn't exist in SWI-Prolog, but user_error is always an alias to the current error stream. | ![Show source Source](/pldoc/res/source.png) |
current_global/1 | IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates. | ![Show source Source](/pldoc/res/source.png) |
current_signal/2 | True when Mode is the current mode for handling Signal. | ![Show source Source](/pldoc/res/source.png) |
current_visible/2 | FIXME check with documentation. | ![Show source Source](/pldoc/res/source.png) |
cut_block/1 | The control construct block/3 runs Goal in a block labelled Tag. | ![Show source Source](/pldoc/res/source.png) |
debug_config/3 | Ignored. | ![Show source Source](/pldoc/res/source.png) |
debug_mode/3 | Old is not unified. | ![Show source Source](/pldoc/res/source.png) |
digit/1 | Is the character A a digit [0-9]. | ![Show source Source](/pldoc/res/source.png) |
exit_block/1 | The control construct block/3 runs Goal in a block labelled Tag. | ![Show source Source](/pldoc/res/source.png) |
file_test/2 | Mapped to access_file/2 (which understand more modes). | ![Show source Source](/pldoc/res/source.png) |
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. | ![Show source Source](/pldoc/res/source.png) |
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. | ![Show source Source](/pldoc/res/source.png) |
float_format/2 | Ignored. | ![Show source Source](/pldoc/res/source.png) |
for/3 | Similar to between/3, but can count down if Start > End. | ![Show source Source](/pldoc/res/source.png) |
get_global/2 | IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates. | ![Show source Source](/pldoc/res/source.png) |
get_until/3 | Read input from Stream until SearchChar. | ![Show source Source](/pldoc/res/source.png) |
get_until/4 | Read input from Stream until SearchChar. | ![Show source Source](/pldoc/res/source.png) |
getchar/3 | Unifies Char with the Position-th character in Atom If Pos < 1 or Pos > length of Atom, then fail. | ![Show source Source](/pldoc/res/source.png) |
getcwd/1 | The predicate getcwd/1 unifies Dir with the full pathname of the current working directory. | ![Show source Source](/pldoc/res/source.png) |
if_concat_atom/2 | True when Atom is the concatenation of the lexical form of all elements from List. | ![Show source Source](/pldoc/res/source.png) |
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. | ![Show source Source](/pldoc/res/source.png) |
ifprolog_debug/1 | Map IF/Prolog debug(Goal) @Module. | ![Show source Source](/pldoc/res/source.png) |
ifprolog_goal_expansion/2 | goal_expansion rules to emulate IF/Prolog behaviour in SWI-Prolog. | ![Show source Source](/pldoc/res/source.png) |
ifprolog_term_expansion/2 | term_expansion rules to emulate IF/Prolog behaviour in SWI-Prolog. | ![Show source Source](/pldoc/res/source.png) |
index/3 | True when Position is the first occurrence of String in Atom. | ![Show source Source](/pldoc/res/source.png) |
letter/1 | Is the character A a letter [A-Za-z]. | ![Show source Source](/pldoc/res/source.png) |
list_length/2 | Deterministic version of length/2. | ![Show source Source](/pldoc/res/source.png) |
load/1 | Mapped to consult. | ![Show source Source](/pldoc/res/source.png) |
localtime/9 | Break system time into its components. | ![Show source Source](/pldoc/res/source.png) |
lower_upper/2 | Multi-moded combination of upcase_atom/2 and downcase_atom/2. | ![Show source Source](/pldoc/res/source.png) |
match/2 | Same as once(match(Mask, Atom, _Replacements)) . | ![Show source Source](/pldoc/res/source.png) |
match/3 | Pattern matching. | ![Show source Source](/pldoc/res/source.png) |
modify_mode/3 | Switch between static and dynamic code. | ![Show source Source](/pldoc/res/source.png) |
parse_atom/6 | Read from an atom. | ![Show source Source](/pldoc/res/source.png) |
predicate_type/2 | True when Type describes the type of PI. | ![Show source Source](/pldoc/res/source.png) |
program_parameters/1 | All command-line argument, including the executable,. | ![Show source Source](/pldoc/res/source.png) |
prolog_version/1 | Return IF/Prolog simulated version string. | ![Show source Source](/pldoc/res/source.png) |
proroot/1 | True when Path is the installation location of the Prolog system. | ![Show source Source](/pldoc/res/source.png) |
retract_with_names/2 | Predicates that manage the database while keeping track of variable names. | ![Show source Source](/pldoc/res/source.png) |
set_default_module/1 | Set the default toplevel module. | ![Show source Source](/pldoc/res/source.png) |
set_global/2 | IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates. | ![Show source Source](/pldoc/res/source.png) |
system_name/1 | True when SystemName identifies the operating system. | ![Show source Source](/pldoc/res/source.png) |
unset_global/1 | IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates. | ![Show source Source](/pldoc/res/source.png) |
user_parameters/1 | Parameters after -- . | ![Show source Source](/pldoc/res/source.png) |
write_atom/2 | Use write/1 to write Term to Atom. | ![Show source Source](/pldoc/res/source.png) |
write_formatted/2 | Emulation of IF/Prolog formatted write. | ![Show source Source](/pldoc/res/source.png) |
write_formatted/3 | Emulation of IF/Prolog formatted write. | ![Show source Source](/pldoc/res/source.png) |
write_formatted_atom/3 | Emulation of IF/Prolog formatted write. | ![Show source Source](/pldoc/res/source.png) |
writeq_atom/2 | Use writeq/1 to write Term to Atom. | ![Show source Source](/pldoc/res/source.png) |
sicstus.pl -- SICStus 3 compatibility library![Show source Show source](/pldoc/res/source.png) |
sicstus4.pl -- SICStus 4 compatibility library![Show source Show source](/pldoc/res/source.png) |
nonmember/2 | True if Element doesn't unify with any element in List. | ![Show source Source](/pldoc/res/source.png) |
rename_module/2 | True if RenamedSICStus4Module is the name that we use for the SICStus 4 native module SICStus4Module. | ![Show source Source](/pldoc/res/source.png) |
xsb.pl -- XSB Prolog compatibility layer![Show source Show source](/pldoc/res/source.png) |
abort/1 | Abort with a message. | ![Show source Source](/pldoc/res/source.png) |
compile/2 | The XSB version compiles a file into .xwam without loading it. | ![Show source Source](/pldoc/res/source.png) |
compiler_options/1 | Locally switch the compiler options. | ![Show source Source](/pldoc/res/source.png) |
cputime/1 | True when Seconds is the used CPU time. | ![Show source Source](/pldoc/res/source.png) |
debug_ctl/2 | Control the XSB debugger. | ![Show source Source](/pldoc/res/source.png) |
fail_if/1 | Same as \+ (support XSB legacy code). | ![Show source Source](/pldoc/res/source.png) |
fmt_write/2 | C-style formatted write, where the arguments are formed by the arguments of Term. | ![Show source Source](/pldoc/res/source.png) |
fmt_write/3 | C-style formatted write, where the arguments are formed by the arguments of Term. | ![Show source Source](/pldoc/res/source.png) |
gc_tables/1 | The table abolish predicates leave the actual destruction of the tables to the atom garbage collector to avoid deleting active tables. | ![Show source Source](/pldoc/res/source.png) |
load_dyn/1 | Proper implementation requires the Quintus all_dynamic option. | ![Show source Source](/pldoc/res/source.png) |
load_dyn/2 | Proper implementation requires the Quintus all_dynamic option. | ![Show source Source](/pldoc/res/source.png) |
load_dync/1 | Proper implementation requires the Quintus all_dynamic option. | ![Show source Source](/pldoc/res/source.png) |
load_dync/2 | Proper implementation requires the Quintus all_dynamic option. | ![Show source Source](/pldoc/res/source.png) |
path_sysop/2 | Unified interface to the operations on files. | ![Show source Source](/pldoc/res/source.png) |
path_sysop/3 | Unified interface to the operations on files. | ![Show source Source](/pldoc/res/source.png) |
set_global_compiler_options/1 | Set the XSB global compiler options. | ![Show source Source](/pldoc/res/source.png) |
setup_dialect/0 | Further dialect initialization. | ![Show source Source](/pldoc/res/source.png) |
sk_not/1 | Sound negation with non-ground P. | ![Show source Source](/pldoc/res/source.png) |
thread_shared/1 | Declare a dynamic predicate as shared. | ![Show source Source](/pldoc/res/source.png) |
walltime/1 | True when Seconds is the wall time sice Prolog was started. | ![Show source Source](/pldoc/res/source.png) |
xsb_import/2 | Make Predicates visible in From. | ![Show source Source](/pldoc/res/source.png) |
xsb_set_prolog_flag/2 | Map some XSB Prolog flags to their SWI-Prolog's equivalents. | ![Show source Source](/pldoc/res/source.png) |
yap.pl -- YAP Compatibility module![Show source Show source](/pldoc/res/source.png) |