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

dialect

Prolog files

bim.plShow source
hprolog.pl  -- hProlog compatibility libraryShow 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
xsb.pl  -- XSB Prolog compatibility layerShow source
yap.pl  -- YAP Compatibility moduleShow source