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


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