
<html>

  <head>

    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    On 01.02.2016 21:29, Tom Ellis wrote:<br>

    <blockquote cite="mid:20160201202951.GE16950@weber" type="cite">

      <pre wrap="">If you want to know <b class="moz-txt-star"><span class="moz-txt-tag">*</span>why<span class="moz-txt-tag">*</span></b> the instance contexts are ignored then you'll have

to ask someone who knows more about Prolog <span class="moz-smiley-s1" title=":)"><span>:)</span></span></pre>

    </blockquote>

    I think I know. There is really no way of knowing that there is no

    vicious little instance Eq ANY lurking deep down some obscure

    useless module. It is called: open world assumption. <br>

    <br>

    -- <br>

    Wojtek<br>

  </body>

</html>