Did you know ... Search Documentation:
Title for pldoc(dir_index)

dialect

Prolog files

bim.plShow source
bim_expansion/2goal_expansion rules to emulate YAP behaviour in SWI-Prolog.Source
index/2Index in the given arguments.Source
hprolog.pl  -- hProlog compatibility libraryShow source
bounded_sublist/3As sublist/2, but Sub has at most Bound elements.Source
chr_delete/3Rest is a copy of List without elements matching Element using ==.Source
drop/3Drop the first N elements from List and unify the remainder with LastElements.Source
intersect_eq/3Determine the intersection of two lists without unifying values.Source
list_difference_eq/3Delete all elements of Subtract from List and unify the result with Rest.Source
max_go_list/2Return the maximum of List in the standard order of terms.Source
memberchk_eq/2Deterministic check of membership using == rather than unification.Source
or_list/2Do a bitwise disjuction over all integer members of ListOfInts.Source
split_at/4Combines take/3 and drop/3.Source
sublist/2True if all elements of Sub appear in List in the same order.Source
substitute_eq/4Substitute OldVal by NewVal in OldList and unify the result with NewList.Source
take/3Take the first N elements from List and unify this with FirstElements.Source
time/3hProlog compatible predicate to for statistical purposes.Source
ifprolog.pl  -- IF/Prolog compatibility packageShow source
asserta_with_names/2Predicates that manage the database while keeping track of variable names.Source
assertz_with_names/2Predicates that manage the database while keeping track of variable names.Source
assign_alias/2Source
atom_part/4True when Sub is part of the atom [Pos,Pos+Len).Source
atom_prefix/3Unifies Sub with the atom formed by the first Len characters in atom.Source
atom_split/3Split Atom over Delimiter and unify the parts with Subatoms.Source
atom_suffix/3Unifies Sub with the atom formed by the last Len characters in atom.Source
block/3The control construct block/3 runs Goal in a block labelled Tag.Source
calling_context/1Mapped to context_module/1.Source
clause_with_names/3Predicates that manage the database while keeping track of variable names.Source
context/2IF/Prolog context/2 construct.Source
context/2Is mapped to catch(Goal, Error, Recover) is Handler is error(_,_) => Recover.Source
current_default_module/1Name of the toplevel typein module.Source
current_error/1Doesn't exist in SWI-Prolog, but user_error is always an alias to the current error stream.Source
current_global/1IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates.Source
current_signal/2True when Mode is the current mode for handling Signal.Source
current_visible/2FIXME check with documentation.Source
cut_block/1The control construct block/3 runs Goal in a block labelled Tag.Source
debug_config/3Ignored.Source
debug_mode/3Old is not unified.Source
digit/1Is the character A a digit [0-9].Source
exit_block/1The control construct block/3 runs Goal in a block labelled Tag.Source
file_test/2Mapped to access_file/2 (which understand more modes).Source
filepos/2from the IF/Prolog documentation The predicate filepos/2 determines the current line position of the specified input stream and unifies the result with Line.Source
filepos/3from the IF/Prolog documentation The predicate filepos/2 determines the current line position of the specified input stream and unifies the result with Line.Source
float_format/2Ignored.Source
for/3Similar to between/3, but can count down if Start > End.Source
get_global/2IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates.Source
get_until/3Read input from Stream until SearchChar.Source
get_until/4Read input from Stream until SearchChar.Source
getchar/3Unifies Char with the Position-th character in Atom If Pos < 1 or Pos > length of Atom, then fail.Source
getcwd/1The predicate getcwd/1 unifies Dir with the full pathname of the current working directory.Source
if_concat_atom/2True when Atom is the concatenation of the lexical form of all elements from List.Source
if_concat_atom/3True when Atom is the concatenation of the lexical form of all elements from List, using Delimiter to delimit the elements.Source
ifprolog_debug/1Map IF/Prolog debug(Goal)@Module.Source
ifprolog_goal_expansion/2goal_expansion rules to emulate IF/Prolog behaviour in SWI-Prolog.Source
ifprolog_term_expansion/2term_expansion rules to emulate IF/Prolog behaviour in SWI-Prolog.Source
index/3True when Position is the first occurrence of String in Atom.Source
letter/1Is the character A a letter [A-Za-z].Source
list_length/2Deterministic version of length/2.Source
load/1Mapped to consult.Source
localtime/9Break system time into its components.Source
lower_upper/2Multi-moded combination of upcase_atom/2 and downcase_atom/2.Source
match/2Same as once(match(Mask, Atom, _Replacements)).Source
match/3Pattern matching.Source
modify_mode/3Switch between static and dynamic code.Source
parse_atom/6Read from an atom.Source
predicate_type/2True when Type describes the type of PI.Source
program_parameters/1All command-line argument, including the executable,.Source
prolog_version/1Return IF/Prolog simulated version string.Source
proroot/1True when Path is the installation location of the Prolog system.Source
retract_with_names/2Predicates that manage the database while keeping track of variable names.Source
set_default_module/1Set the default toplevel module.Source
set_global/2IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates.Source
system_name/1True when SystemName identifies the operating system.Source
unset_global/1IF/Prolog global variables, mapped to SWI-Prolog's nb_* predicates.Source
user_parameters/1Parameters after --.Source
write_atom/2Use write/1 to write Term to Atom.Source
write_formatted/2Emulation of IF/Prolog formatted write.Source
write_formatted/3Emulation of IF/Prolog formatted write.Source
write_formatted_atom/3Emulation of IF/Prolog formatted write.Source
writeq_atom/2Use writeq/1 to write Term to Atom.Source
sicstus.pl  -- SICStus compatibility libraryShow source
bb_delete/2SICStus compatible blackboard routines.Source
bb_get/2SICStus compatible blackboard routines.Source
bb_put/2SICStus compatible blackboard routines.Source
bb_update/3SICStus compatible blackboard routines.Source
create_mutable/2Create a mutable term with the given initial Value.Source
get_mutable/2True if Value unifies with the current value of Mutable.Source
if/3Same as SWI-Prolog soft-cut construct.Source
prolog_flag/2Query a Prolog flag, mapping SICSTus flags to SWI-Prolog flags.Source
prolog_flag/3Query and set a Prolog flag.Source
read_line/1Read a line from the given or current input.Source
read_line/2Read a line from the given or current input.Source
rename_module/2True if RenamedSICSTusModule is the name that we use for the SICStus native module SICStusModule.Source
trimcore/0Trims the stacks.Source
update_mutable/2Set the value of Mutable to Value.Source
use_module/3This 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.Source
xsb.pl  -- XSB Prolog compatibility layerShow source
add_lib_dir/1Add members of the comma list Directories to library_directory/1.Source
add_lib_dir/2Add members of the comma list Directories to library_directory/1.Source
compile/2The XSB version compiles a file into .xwam without loading it.Source
compiler_options/1Locally switch the compiler options.Source
cputime/1True when Seconds is the used CPU time.Source
fail_if/1Same as \+ (support XSB legacy code).Source
gc_tables/1The table abolish predicates leave the actual destruction of the tables to the atom garbage collector to avoid deleting active tables.Source
is_most_general_term/1Succeeds if X is compound term with all distinct variables as arguments, or if X is an atom.Source
load_dyn/1Proper implementation requires the Quintus all_dynamic option.Source
load_dyn/2Proper implementation requires the Quintus all_dynamic option.Source
load_dync/1Proper implementation requires the Quintus all_dynamic option.Source
load_dync/2Proper implementation requires the Quintus all_dynamic option.Source
not_exists/1XSB tabled negation.Source
path_sysop/2Unified interface to the operations on files.Source
path_sysop/3Unified interface to the operations on files.Source
set_global_compiler_options/1Set the XSB global compiler options.Source
sk_not/1XSB tabled negation.Source
walltime/1True when Seconds is the wall time sice Prolog was started.Source
xsb_dynamic/1Apply dynamic to the original predicate.Source
xsb_import/2Make Predicates visible in From.Source
yap.pl  -- YAP Compatibility moduleShow source
assert_static/1Assert as static predicate.Source
depth_bound_call/2Equivalent to call_with_depth_limit(Goal, Limit, _Reached).Source
exists/1Equivalent to exists_file(File).Source
gc/0Garbage collect.Source
source/0YAP directive to maintain source-information.Source
system/1Equivalent to shell(Command).Source
yap_expansion/2goal_expansion rules to emulate YAP behaviour in SWI-Prolog.Source
yap_flag/2Map some YAP flags to SWI-Prolog.Source
yap_style_check/1Map YAP style-check options onto the SWI-Prolog ones.Source