More Typed Logic

Me, the moving target.  Here.  Follow along as I write more about logic programming at

Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.