- 软件大小: 7.93MB
- 软件语言: 英文
- 软件类别: 国外软件 | 编程工具
- 运行环境: Xp/Vista/Win7/Win8/WinAll
- 授权方式: 免费版
-
软件等级:
- 更新时间: 2014/3/3 7:39:10
- 开 发 商:
软件介绍：
汇编语言编译器(SWI-Prolog)，SWI-Prolog offers a comprehensive Free Software Prolog environmen,Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。同时它对一些通常的应用程序的编写也很有帮助。使用它能够比其他的语言更快速地开发程序，因为它的编程方法更象是使用逻辑的语言来描述程序。
运行速度要比amzi prolog的解释器快，和amzi的编译之后的程序差不多快，如果下载图形软件包XPCE的话，还可以开发有界面的程序。它的语法和amzi prolog相同，程序可以通用，不过内部谓词有些不同，有时候需要修改一下。
软件特点：
内核受LGPL许可证。Prolog库分布在GPL下额外的声明,允许使用专有应用程序。许可证页面上可以找到的细节。
快速编译。如。,加载140000行代码分布在500年2.3秒source-files AMD 5400 +系统。
内存泄漏的健壮和自由。在使用多个服务器运行24 x7(包括web服务)。
小。完整的开发环境,包括图形、图书馆和很多接口包需要约。
对于大型应用程序。没有限制项目大小、atom-length term-arity或整型值。没有性能下降谓词与许多(索引)的事实。
无限的整数,有理数运算基于GMP图书馆。
全面的内置的谓词,覆盖了实际ISO标准的第1部分中,爱丁堡Prolog标准和第五名的重要部分和SICStus序言。公平的兼容性小贝,YAP GNU-Prolog。
和更多的
关键字： 编译器
