ON THIS PAGE
Lists of sets
Usage and interface
- Library usage:
:- use_module(library(lsets)). - Exports:
- Predicates:
merge_list_of_lists/2, merge_lists/3, merge_each/3, ord_member_list_of_lists/2, delete_var_from_list_of_lists/4, setproduct_lists/4, ord_intersect_lists/2, ord_intersect_all/2, sort_list_of_lists/2, transitive_closure_lists/3, closure_under_union/2, ord_split_lists/4, ord_split_lists_from_list/4, split_lists_from_list/4, powerset_of_set_of_sets/2.
- Predicates:
Documentation on exports
PREDICATEmerge_list_of_lists/2
No further documentation available for this predicate.
PREDICATEmerge_lists/3
No further documentation available for this predicate.
PREDICATEmerge_each/3
No further documentation available for this predicate.
PREDICATEord_member_list_of_lists/2
No further documentation available for this predicate.
PREDICATEdelete_var_from_list_of_lists/4
No further documentation available for this predicate.
PREDICATEsetproduct_lists/4
No further documentation available for this predicate.
PREDICATEord_intersect_lists/2
No further documentation available for this predicate.
PREDICATEord_intersect_all/2
No further documentation available for this predicate.
PREDICATEsort_list_of_lists/2
No further documentation available for this predicate.
PREDICATEtransitive_closure_lists/3
No further documentation available for this predicate.
PREDICATEclosure_under_union/2
No further documentation available for this predicate.
PREDICATEord_split_lists/4
No further documentation available for this predicate.
PREDICATEord_split_lists_from_list/4
No further documentation available for this predicate.
PREDICATEsplit_lists_from_list/4
No further documentation available for this predicate.
PREDICATEpowerset_of_set_of_sets/2
No further documentation available for this predicate.
Documentation on imports
This module has the following direct dependencies:- System library modules:
lists, sets, sort. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic.