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
sicstus.pl  -- SICStus 3 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
is_mutable/1True if Term is bound to a mutable term.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 and releases unused heap memory to the operating system where possible.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
sicstus4.pl  -- SICStus 4 compatibility libraryShow source
nonmember/2True if Element doesn't unify with any element in List.Source
rename_module/2True if RenamedSICStus4Module is the name that we use for the SICStus 4 native module SICStus4Module.Source
xsb.pl  -- XSB Prolog compatibility layerShow source
abort/1Abort with a message.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
debug_ctl/2Control the XSB debugger.Source
fail_if/1Same as \+ (support XSB legacy code).Source
fmt_write/2C-style formatted write, where the arguments are formed by the arguments of Term.Source
fmt_write/3C-style formatted write, where the arguments are formed by the arguments of Term.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
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
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
setup_dialect/0Further dialect initialization.Source
sk_not/1Sound negation with non-ground P.Source
thread_shared/1Declare a dynamic predicate as shared.Source
walltime/1True when Seconds is the wall time sice Prolog was started.Source
xsb_import/2Make Predicates visible in From.Source
xsb_set_prolog_flag/2Map some XSB Prolog flags to their SWI-Prolog's equivalents.Source
yap.pl  -- YAP Compatibility moduleShow source