Monthly Archives: January 2016

Al-Khwarizmi Schmal-Khwarizmi

  I  like  true/false exam questions and through my career have thought up hundreds of them. Every now and then, for comic relief and to inflate the grades, I include some that are ridiculously easy. However, I’ve never found one that … Continue reading

Posted in Uncategorized | 1 Comment

Extensional Higher Order Prolog

One big issue in the logic programming vs functional programming debate is logic programming’s (or at least the original Prolog’s) restriction to first order logic. To functional programmers this constraint is intolerable; even the simplest Haskell programs are higher order … Continue reading

Posted in research | 2 Comments