2 Feb
2016
2 Feb
'16
1:38 a.m.
On Mon, Feb 01, 2016 at 11:56:58PM +0100, Wojtek Narczyński wrote:
On 01.02.2016 21:29, Tom Ellis wrote:
If you want to know*why* the instance contexts are ignored then you'll have to ask someone who knows more about Prolog:) 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.
Yes, Ben's explanation was a good one.