Re: Uniqueness in a set of variables

On Tue, Oct 02, 2001 at 08:56:03PM +0300, Loizos Michael wrote:
> I want to keep the minimum subset of these terms, such that the fully grounded
> set of terms that can be unified with the subset remains the same as with the
> fully grounded set of terms that can be unified with the initial set. Each
> variable in the term takes finite grounded values.

It sounds like the kind of thing you're looking for is the instance/2
predicate.  See the documentation for details, but basically it succeeds if
and only if one term is an instance of another (i.e. they can be made the
same by possibly binding some variables) --- assuming there are no shared
variables involved.  So what you want to do is go through your terms and
throw out any which are instances of others.

Cheers,
Warwick