[ library(conjunto) | Reference Manual | Alphabetic Index ]
# set(?SVar)

Succeeds if SVar is a ground set (not a set domain)
*?SVar*
- A Prolog term.

## Description

This predicate is used to test if a term is a ground set, that is a set
variable where the domain is reduced to a singleton or a set of ground
values defined with the symbols fg.

### Fail Conditions

Fails if SVar is not a ground set.
### Resatisfiable

No.
## Examples

[eclipse 3]: S = {a,{f(a,g),3},c}, set(S).
S = {a,{f(a,g),3},c}
yes.

## See Also

`:: / 2, glb / 2, lub / 2, set_range / 3