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

首字母搜索 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


软件名称: swi prolog
授权方式: GPL
操作系统: Linux,FreeBSD,UNIX,i386,x86_64
软件大小: 2.7K
最新更新: 2012-11-27 22:51:05
软件简介:

SWI-Prolog offers a comprehensive Free Software Prolog environmen,Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。同时它对一些通常的应用程序的编写也很有帮助。使用它能够比其他的语言更快速地开发程序,因为它的编程方法更象是使用逻辑的语言来描述程序。

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

swi-prolog-5.7.15-gentoo-patchset-0.tar.gz
swi-prolog-5.10.5-gentoo-patchset-1.tar.gz
swi-prolog-5.11.26-gentoo-patchset-0.tar.gz
swi-prolog-5.10.5-gentoo-patchset-2.tar.gz
swi-prolog-5.11.28-gentoo-patchset-0.tar.gz
swi-prolog-5.11.28-gentoo-patchset-1.tar.gz
swi-prolog-5.11.29-gentoo-patchset-0.tar.gz
swi-prolog-5.10.5-gentoo-patchset-4.tar.gz
swi-prolog-5.11.30-gentoo-patchset-0.tar.gz
swi-prolog-5.11.30-gentoo-patchset-1.tar.gz
swi-prolog-5.11.31-gentoo-patchset-0.tar.gz
swi-prolog-5.11.32-gentoo-patchset-0.tar.gz
swi-prolog-5.11.33-gentoo-patchset-0.tar.gz
swi-prolog-5.11.34-gentoo-patchset-0.tar.gz
swi-prolog-5.11.35-gentoo-patchset-0.tar.gz
swi-prolog-5.11.36-gentoo-patchset-0.tar.gz
swi-prolog-5.10.5-gentoo-patchset-5.tar.gz
swi-prolog-5.11.37-gentoo-patchset-0.tar.gz
swi-prolog-6.0.0-gentoo-patchset-0.tar.gz
swi-prolog-6.0.1-gentoo-patchset-0.tar.gz
swi-prolog-6.1.0-gentoo-patchset-0.tar.gz
swi-prolog-6.1.1-gentoo-patchset-0.tar.gz
swi-prolog-6.1.2-gentoo-patchset-0.tar.gz
swi-prolog-6.0.1-gentoo-patchset-1.tar.gz
swi-prolog-6.0.1-gentoo-patchset-2.tar.gz
swi-prolog-6.1.4-gentoo-patchset-0.tar.gz
swi-prolog-6.1.4-gentoo-patchset-1.tar.gz
swi-prolog-6.1.4-gentoo-patchset-2.tar.gz
swi-prolog-6.2.0-gentoo-patchset-2.tar.gz
swi-prolog-6.2.0-gentoo-patchset-3.tar.gz
swi-prolog-6.2.1-gentoo-patchset-0.tar.gz
swi-prolog-6.2.1-gentoo-patchset-1.tar.gz
swi-prolog-6.2.1-gentoo-patchset-2.tar.gz
swi-prolog-6.3.0-gentoo-patchset-1.tar.gz
swi-prolog-6.3.0-gentoo-patchset-2.tar.gz
swi-prolog-6.3.0-gentoo-patchset-0.tar.gz
swi-prolog-6.2.0-gentoo-patchset-0.tar.gz
swi-prolog-6.2.0-gentoo-patchset-1.tar.gz
swi-prolog-6.1.11-gentoo-patchset-0.tar.gz
swi-prolog-6.1.12-gentoo-patchset-0.tar.gz
swi-prolog-6.1.10-gentoo-patchset-0.tar.gz
swi-prolog-6.1.9-gentoo-patchset-0.tar.gz
swi-prolog-6.1.8-gentoo-patchset-0.tar.gz
swi-prolog-6.1.7-gentoo-patchset-0.tar.gz
swi-prolog-6.1.5-gentoo-patchset-0.tar.gz
swi-prolog-6.1.6-gentoo-patchset-0.tar.gz
swi-prolog-6.1.3-gentoo-patchset-0.tar.gz
swi-prolog-6.3.1-gentoo-patchset-0.tar.gz
swi-prolog-6.2.0-gentoo-patchset-4.tar.gz
swi-prolog-6.2.1-gentoo-patchset-3.tar.gz
swi-prolog-6.3.0-gentoo-patchset-3.tar.gz
swi-prolog-6.2.0-gentoo-patchset-5.tar.gz
swi-prolog-6.2.1-gentoo-patchset-4.tar.gz
swi-prolog-6.3.1-gentoo-patchset-1.tar.gz
swi-prolog-6.2.2-gentoo-patchset-0.tar.gz
swi-prolog-6.3.2-gentoo-patchset-0.tar.gz
swi-prolog-6.3.3-gentoo-patchset-0.tar.gz
swi-prolog-6.3.4-gentoo-patchset-0.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号