<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
:- inst test == bound(test(ground,pred(m) is d)).<br>
<br></blockquote><div><br></div><div>Also does not work.  It is syntactically correct, but the inst value appears to be ignored.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Also, it is easier to give help if you post a complete program.<br></blockquote><div><br></div><div>I thought about attaching it when I first posted the quests, and guessed wrongly that I should leave it out.   I've attached it(manual_test.m) to see if that goes through.  If it fails, I'll just copy-paste it.<br><br><br></div><div>Thanks!<br><br></div><div>Charles <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888"><br>
/Tomas<br>
<br>
<br>
</font></span></blockquote></div><br></div></div>