欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU Prolog
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 (→指南) |
||
| （未显示1个用户的1个中间版本） | |||
| 第1行： | 第1行： | ||
{{SeeWikipedia}} | {{SeeWikipedia}} | ||
| + | GNU Prolog | ||
| + | |||
| + | [[文件:GNU-Prolog-logo.png|right]] | ||
| + | |||
| + | ==简介== | ||
GNU Prolog (also called gprolog) is a compiler developed by [http://pauillac.inria.fr/~diaz/ 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. | GNU Prolog (also called gprolog) is a compiler developed by [http://pauillac.inria.fr/~diaz/ 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. | 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). | ||
| + | |||
| + | ==项目== | ||
| + | |||
| + | ==图集== | ||
==链接== | ==链接== | ||
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).
[编辑] 项目
[编辑] 图集
[编辑] 链接
分享您的观点
