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

Tomas By tomas at basun.net
Sun Jun 28 10:46:57 AEST 2015

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


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

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


More information about the users mailing list