Me, the moving target. Here. Follow along as I write more about logic programming at logicaltypes.blogspot.com
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.
