GNU Prolog

2022年2月6日 (日) 09:20的最后版本

您可以在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).

[编辑] 项目

[编辑] 图集

[编辑] 链接

• 官网
• 文档