[Haskell-cafe] Re: Interesting feature

[David Overton]

On 08/07/2008, Benjamin L. Russell <DekuDekuplex at yahoo.com> 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