1 Feb
2016
1 Feb
'16
5:56 p.m.
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.
-- Wojtek