GNU Prolog

您可以在Wikipedia上了解到此条目的英文信息 GNU Prolog Thanks, Wikipedia.

GNU Prolog

简介

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.

指南

Debian

$ sudo apt install gprolog
$ gprolog
| ?- append([a,b],[c,d],X).

链接

• 官网
• 文档