GNU Prolog
Appearance
GNU Prolog (also called gprolog) is an interactive [[compiler and debugging environment compiler 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.