This module provides the XSB basics module. The implementation either simply uses SWI-Prolog built-ins and libraries or is copied from the XSB file.

 for(?I, +B1, +B2)

Nondeterministically binds I to all integer values from B1 to B2 inclusive. B1 and B2 must be integers, but either may be larger.

 ith(?Index, +List, ?Element)

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 comma_memberchk(Arg1, Arg2)

 comma_member(Arg1, Arg2)

 log_ith_new(Arg1, Arg2, Arg3)

 log_ith_to_list(Arg1, Arg2)

 log_ith(Arg1, Arg2, Arg3)

 log_ith_bound(Arg1, Arg2, Arg3)

 memberchk(Arg1, Arg2)

 select(Arg1, Arg2, Arg3)

 append(Arg1, Arg2, Arg3)

 subset(Arg1, Arg2)

 member(Arg1, Arg2)

 between(Arg1, Arg2, Arg3)

 copy_term_nat(Arg1, Arg2)

 logk_ith(Arg1, Arg2, Arg3, Arg4)

 flatten(Arg1, Arg2)

 comma_append(Arg1, Arg2, Arg3)

 reverse(Arg1, Arg2)

 comma_length(Arg1, Arg2)

 comma_to_list(Arg1, Arg2)

 abscomma_memberchk(Arg1, Arg2)