首页 | Linux | 论坛 | 精华 | 博客 | 资料 | 手册 | 知识库 | 下载 | 人才 | 沙龙 | 搜索 | 登录 | 注册  
下载分类
操作系统
系统相关
网络互连
开发工具
应用程序
多媒体工具
游戏娱乐
资料视频
本类周下载TOP10
本类总下载TOP10
您的位置:自由软件库->开发工具->开发语言->gprolog

首字母搜索 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z


软件名称: gprolog
授权方式: GPL
操作系统: Linux,FreeBSD,UNIX
软件大小: 3.2M
最新更新: 2012-07-10 20:52:49
软件简介:

Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。
Prolog语言最早由Aix-Marseille大学的Alain Colmerauer与Phillipe Roussel等人于60年代末研究开发。1972年被公认为是Prolog语言正式诞生的年份,自1972年以后,分支出多种Prolog的方言。最主要的两种方言为Edinburgh和Aix-Marseille。最早的Prolog解释器由Roussel建造,而第一个Prolog编译器则是David Warren编写的。
 
Prolog一直在北美和欧洲被广泛使用。日本政府曾经为了建造智能计算机而用Prolog来开发ICOT第五代计算机系统。在早期的机器智能研究领域,Prolog曾经是主要的开发工具。
 
80年代Borland开发的Turbo Prolog,进一步普及了Prolog的使用。1995年确定了ISO Prolog标准。


The GNU Prolog compiler (gprolog)
GNU Prolog is a free Prolog compiler with constraint solving over finite domains. GNU Prolog accepts a Prolog+constraint program and produces a native binary (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging (comparable to commercial systems).
Beside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level).

The Prolog part conforms to the ISO standard for Prolog with many extensions very useful in practice (global variables, OS interface, sockets,...).

GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic pogramming to the user combining the power of constraint programming to the declarativity of logic programming.


Features
Prolog system:
conforms to the ISO standard for Prolog (floating point numbers, streams, dynamic code,...).
a lot of extensions: global variables, definite clause grammars (DCG), sockets interface, operating system interface,...
more than 300 Prolog built-in predicates.
Prolog debugger and a low-level WAM debugger.
line editing facility under the interactive interpreter with completion on atoms.
powerful bidirectional interface between Prolog and C.
Compiler:
native-code compiler producing stand alone executables.
simple command-line compiler accepting a wide variety of files: Prolog files, C files, WAM files,...
direct generation of assembly code 15 times faster than wamcc + gcc.
most of unused built-in predicates are not linked (to reduce the size of the executables).
compiled predicates (native-code) as fast as wamcc on average.
consulted predicates (byte-code) 5 times faster than wamcc.
Constraint solver:
FD variables well integrated into the Prolog environment (full compatibility with Prolog variables and integers). No need for explicit FD declarations.
very efficient FD solver (comparable to commercial solvers).
high-level constraints can be described in terms of simple primitives.
a lot of predefined constraints: arithmetic constraints, boolean constraints, symbolic constraints, reified constraints,...
several predefined enumeration heuristics.
the user can define his own new constraints.
more than 50 FD built-in constraints/predicates.

相关论坛: 下载频道交流区 讨论区
立即下载

gprolog-1.2.13.tar.gz
gprolog-1.2.16.tar.gz
gprolog-1.2.19.tar.gz
gprolog-20061215.tgz
gprolog-1.3.0.tar.gz
gprolog-1.3.1.tar.gz
gprolog-1.4.0.tar.gz
gprolog-1.4.1.tar.gz

 Linux最新资讯更多>> 
·Evernote推进入华节奏:
·桌面操作系统 4 月最新
·Linux基金会:Linux成B
·中国联通升级HSPA+网络
·联通“随意打”论战:绝
·阿里巴巴集团30亿美元贷
·要以扫黄打非的精神进行
·内核源码,ARM架构上的
·Ubuntu 10.04版本企业云
·企业级Linux三国鼎立 与
·开源图像软件GIMP开发者
·不给Source就捣蛋?谈G
 IT最新资讯更多>> 
·大连外企500强急招java
·(内部推荐)EMC-Princ
·(内部推荐)EMC-greenpl
·页游公司招聘:运维开发
·赶集移动部门招聘前端开
·【北京】知名软件公司招
·有莫有C++ and C# and
·下班路上捡到一张工资表
·猎头代招:北京大型上市
·DSI猎头代招:华为-IP部
·上海诚聘JAVA工程师
·微软和苹果10大失败产品
·Darl McBride离开领导岗
·提升Qt的应用诺基亚即将
 综合:更多>> 
·PHP中strtotime函数使用
·五个常见 PHP数据库问题
·初探PHP单元测试利器:
·PHP开发人员容易忽略的
·逃离伪PHP程序员应该做
·大型Web应用运行时 PHP
·PHP企业级应用缓存技术
·PHP应用提速面面观
·用书签查询网站pr值
·PHP句法规则详解
·阴历-农历-转换类
·PHP定时执行任务的实现
·几种有用的变型 PHP中循
·PHP如何修改Linux或Uni
·PHP中全面阻止SQL注入式
·分享几个非常有用的PHP
·PHP面向对象法则
·优化PHP程序的方法
·orcale queue
·谁可以推荐几本经典的操
关于我们 | 联系方式 | 广告合作 | 诚聘英才 | 网站地图 | 友情链接 | 免费注册

Copyright © 2001-2006 ChinaUnix.net All Rights Reserved

感谢所有关心和支持过ChinaUnix的朋友们

京ICP证041476号