[m-users.] Cannot execute a predicate from a Discriminated Union

[Tomas By]

On Sun, June 28, 2015 02:29, Charles Shuller wrote:
> No joy.  bound/2 is not defined.

Try

:- inst test == bound(test(ground,pred(m) is d)).

Also, it is easier to give help if you post a complete program.

/Tomas