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.

license

- LGPLv2

 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)

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 member(?Elem, ?List)

True if Elem is a member of List. The SWI-Prolog definition differs from the classical one. Our definition avoids unpacking each list element twice and provides determinism on the last element. E.g. this is deterministic:

    member(X, [One]).

author

- Gertjan van Noord

 append(?List1, ?List2, ?List1AndList2)

List1AndList2 is the concatenation of List1 and List2

 select(?Elem, ?List1, ?List2)

Is true when List1, with Elem removed, results in List2. This implementation is determinsitic if the last element of List1 has been selected.

 reverse(?List1, ?List2)

Is true when the elements of List2 are in reverse order compared to List1. This predicate is deterministic if either list is a proper list. If both lists are partial lists backtracking generates increasingly long lists.

 flatten(+NestedList, -FlatList) is det

Is true if FlatList is a non-nested version of NestedList. Note that empty lists are removed. In standard Prolog, this implies that the atom '[]' is removed too. In SWI7, [] is distinct from '[]'.

Ending up needing flatten/2 often indicates, like append/3 for appending two lists, a bad design. Efficient code that generates lists from generated small lists must use difference lists, often possible through grammar rules for optimal readability.

See also

- append/2

 subset(+SubSet, +Set) is semidet

True if all elements of SubSet belong to Set as well. Membership test is based on memberchk/2. The complexity is |SubSet|*|Set|. A set is defined to be an unordered list without duplicates. Elements are considered duplicates if they can be unified.

See also

- ord_subset/2.

Undocumented predicates

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

 log_ith_bound(Arg1, Arg2, Arg3)

 log_ith_new(Arg1, Arg2, Arg3)

 log_ith(Arg1, Arg2, Arg3)

 comma_append(Arg1, Arg2, Arg3)

 between(Arg1, Arg2, Arg3)

 logk_ith(Arg1, Arg2, Arg3, Arg4)

 comma_member(Arg1, Arg2)

 memberchk(Arg1, Arg2)

 comma_to_list(Arg1, Arg2)

 abscomma_memberchk(Arg1, Arg2)

 comma_memberchk(Arg1, Arg2)

 comma_length(Arg1, Arg2)

 log_ith_to_list(Arg1, Arg2)