Koen Claessen and Peter Ljunglof. Typed logical variables in Haskell. In Proceedings Haskell Workshop 2000, 2000.
Another Prolog in Haskell exercise (a student of mine is working on this topic, so expect more!).
The work presented follows the approach suggested by Seres and Spivey (see here and here).
The focus of this paper (sec. 4) is on making the embedded language strongly typed.
Backtracking is implemented, as usuall, using a monad transformer.
Posted to functional by Ehud Lamm on 1/20/03; 7:15:49 AM