8 Jul
2008
8 Jul
'08
7:22 p.m.
On 08/07/2008, Benjamin L. Russell
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