[ library(ic_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