欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
GNU Prolog
来自开放百科 - 灰狐
(版本间的差异)
小 (→链接) |
小 |
||
第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. | ||
+ | |||
+ | ==功能== | ||
+ | |||
+ | ==指南== | ||
+ | |||
+ | ==项目== | ||
+ | |||
+ | ==图集== | ||
==链接== | ==链接== |
2021年12月22日 (三) 02:41的版本
您可以在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.
功能
指南
项目
图集
链接
分享您的观点