[ 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