object

# `set`

Set predicates implemented using ordered lists. Uses `==/2` for element comparison and standard term ordering.

Author: Richard O’Keefe (main predicates); adapted to Logtalk by Paulo Moura.
Version: 1.12
Date: 2019/5/23
Compilation flags:
`static, context_switching_calls`
Implements:
`public` setp
Extends:
`public` compound
Aliases:
`setp` `size/2` as `length/2`
Remarks:
(none)
Inherited public predicates:
as_list/2 as_set/2 check/1 delete/3 depth/2 disjoint/2 empty/1 equal/2 ground/1 insert/3 insert_all/3 intersect/2 intersection/3 intersection/4 member/2 memberchk/2 new/1 occurs/2 powerset/2 product/3 select/3 selectchk/3 singletons/2 size/2 subset/2 subsumes/2 subterm/2 subtract/3 symdiff/3 union/3 union/4 valid/1 variables/2 variant/2

- Public predicates

- Protected predicates

- Private predicates

- Operators

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)

See also

set(Type)