GNU Prolog

来自开放百科 - 灰狐
跳转到: 导航, 搜索
Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 GNU Prolog Thanks, Wikipedia.

GNU Prolog

GNU-Prolog-logo.png

目录

简介

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).

项目

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱