On 08/07/2008, Benjamin L. Russell <[EMAIL PROTECTED]> wrote: > Do you know of any logic programming languages with strong typing and > modules that have GUI-based REPL's, similar to WinHugs, available?
You might want to look at Visual Prolog (http://www.visual-prolog.com/). It is strongly typed and has a Windows IDE. I'm not sure if it has a REPL though. David _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe