free/1 (i)
This predicate succeeds if the supplied argument is a free Prova variable.
The following example test010.prova shows how the free predicate can be used in th eprocess of constructing a sorted tree representation of an initially unsorted list.
This returns:
Labels: