|您可以在Wikipedia上了解到此条目的英文信息 GNU Prolog Thanks, Wikipedia.|
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.
$ sudo apt install gprolog $ gprolog | ?- append([a,b],[c,d],X).