[ library(ic_hybrid_sets) | Reference Manual | Alphabetic Index ]
# is_solver_type(?Term)

Succeeds if Term is a ground set or a set variable
*Term*
- A term

## Description

Succeeds if Term is either a set (represented as a list) or a set
variable. For efficiency reasons, lists are not checked for being
valid set representations (i.e. strictly sorted lists of integers),
the predicate succeeds for any list.

### Fail Conditions

Set is neither a set nor a set variable