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.
Pages
▼
Contact Me
dauclair at hotmail dot com 703.300.0447 Occasionally, I tweet about something logical. twitter.com/geophf