Overlapping, undecidable, incoherent -- or worse?

MR K P SCHUPKE k.schupke at imperial.ac.uk
Fri May 21 12:34:40 EDT 2004

I have seen very compact Prolog implementations in Haskell, and I 
also know that constraints, modelled by CHRs can be evaluated directly
in Prolog. Why not just bolt one of these compact Prologs onto the
compiler, and just feed it the facts and rules...


More information about the Glasgow-haskell-users mailing list