dialect

Prolog files

bim.pl
bim_expansion/2	goal_expansion rules to emulate YAP behaviour in SWI-Prolog.
index/2	Index in the given arguments.
hprolog.pl  -- hProlog compatibility library
bounded_sublist/3	As sublist/2, but Sub has at most Bound elements.
chr_delete/3	Rest is a copy of List without elements matching Element using ==.
drop/3	Drop the first N elements from List and unify the remainder with LastElements.
intersect_eq/3	Determine the intersection of two lists without unifying values.
list_difference_eq/3	Delete all elements of Subtract from List and unify the result with Rest.
max_go_list/2	Return the maximum of List in the standard order of terms.
memberchk_eq/2	Deterministic check of membership using == rather than unification.
or_list/2	Do a bitwise disjuction over all integer members of ListOfInts.
split_at/4	Combines take/3 and drop/3.
sublist/2	True if all elements of Sub appear in List in the same order.
substitute_eq/4	Substitute OldVal by NewVal in OldList and unify the result with NewList.
take/3	Take the first N elements from List and unify this with FirstElements.
time/3	hProlog compatible predicate to for statistical purposes.
ifprolog.pl  -- IF/Prolog compatibility package
sicstus.pl  -- SICStus 3 compatibility library
bb_delete/2	SICStus compatible blackboard routines.
bb_get/2	SICStus compatible blackboard routines.
bb_put/2	SICStus compatible blackboard routines.
bb_update/3	SICStus compatible blackboard routines.
create_mutable/2	Create a mutable term with the given initial Value.
get_mutable/2	True if Value unifies with the current value of Mutable.
if/3	Same as SWI-Prolog soft-cut construct.
is_mutable/1	True if Term is bound to a mutable term.
prolog_flag/3	Query and set a Prolog flag.
read_line/1	Read a line from the given or current input.
read_line/2	Read a line from the given or current input.
rename_module/2	True if RenamedSICSTusModule is the name that we use for the SICStus native module SICStusModule.
trimcore/0	Trims the stacks and releases unused heap memory to the operating system where possible.
update_mutable/2	Set the value of Mutable to Value.
use_module/3	This 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.
sicstus4.pl  -- SICStus 4 compatibility library
nonmember/2	True if Element doesn't unify with any element in List.
rename_module/2	True if RenamedSICStus4Module is the name that we use for the SICStus 4 native module SICStus4Module.
tau.pl  -- Enable Tau-Prolog dialect emulation
xsb.pl  -- XSB Prolog compatibility layer
yap.pl  -- YAP Compatibility module