GNU Prolog

2010年8月17日 (二) 11:18的版本

GNU Prolog (also called gprolog) is a compiler developed by Daniel Diaz with an interactive debugging environment for Prolog available for Unix and Windows. It also supports some extensions to Prolog including constraint programming over a finite domain, parsing using definite clause grammars, and an operating system interface.

The compiler converts the source code into byte code that can be interpreted by a Warren abstract machine and converts that to standalone executables.

http://pauillac.inria.fr/~diaz/gnu-prolog/