prolog

prolog

   

创建于2010-09-25     组长:tertio

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标准
讨论作者回应最后回应
[置顶]   小组成员自我介绍贴 tertio 66 2018-01-03
[置顶]   垂钓听竹轩网站上的prolog教程打包下载 tertio 29 2016-04-06
[置顶]   欢迎各位组员 tertio 13 2014-01-11
[置顶]   [翻译] 使用Prolog开发新语言 isaachan 2 2013-07-27
[置顶]   用Prolog写的简易Lisp解释器,欢迎大家拍砖 isaachan 5 2013-01-16
[置顶]   七种Prolog解释器/编译器 IEIT 1 2012-10-14
[置顶]   【链接】The INRIA ISO Prolog Web IEIT 2011-11-02
[置顶]   给小组成员的见面礼——prolog搞笑文 lisp大包 1 2011-04-18
求助。新学Prolog,如何在递归中判断 蛇精病1081栋 2 2018-08-20
Prolog菜鸟求助。 夹狠紧 2016-03-20
妹纸新手prolog小作业编的有问题。。。 JINGWEN JIA 4 2015-03-08
在初学prolog的过程中最难的是什么? tertio 4 2014-12-08
开班了-电子书频道,提供免费电子书下载 bingge 2014-11-30
有偿请前辈们做一个prolog代数的程序 文涛Will 2 2014-11-08
求助:如何用prolog解决 哪国人养鱼(Zebra Puzzle... ᴇsᴛ 18 2014-08-19
有了这个神器,每个人都可以轻松地发明新语言 simeon.chaos 2 2014-07-16
太极语言发布以及太极门成立声明 simeon.chaos 2014-07-14
用prolog能解决初中的平面几何题吗? ᴇsᴛ 2 2014-07-09
新人报到... stary 2014-07-04
【新手】妹纸自学prolog,求各路大神赐教!! 黎昕 4 2014-04-17
【新手】怎么用prolog解方程组,求指教 罗森 2014-04-13
如何实现这样的操作? [已注销] 6 2014-04-01
求教程 南宫恪 1 2014-03-27
Prolog里各种术语的最恰当的中文翻译分别是什么? bhuztez 7 2014-02-18
初学ProLog alan_tam 5 2014-02-17
关系也是名字.. jacklu 9 2014-02-04
新学prolog老师给的作业不会写。。。求助啊! NelsonLiu 5 2014-02-02
prolog能不能推理最近很火那个1+2+3+4... = -1/12? ᴇsᴛ 5 2014-01-17
自指问题 ᴇsᴛ 2014-01-16
算术运算不能反推 jacklu 8 2014-01-09
我最近开窍了 jacklu 2013-12-13
prolog lambda jacklu 2013-12-10
swi prolog 7的新扩展 jacklu 2013-11-26
prolog里引用语义需要自己实现? jacklu 2013-11-20
tuple成员赋值 jacklu 2013-11-17
用prolog求矩阵列的平均值 假面叔叔 2013-10-27
用prolog解决的一个逻辑问题 假面叔叔 2013-10-27
prolog有回朔类似全局变量的方法吗 [已注销] 2 2013-09-27
这个.net上的prolog环境有人用过吗 jacklu 3 2013-09-19
有对miniKanren感兴趣的吗? 灰色轨迹 3 2013-08-20
visual prolog中遇到问题error c150: Syntax error... 蓝翼冰激凌 1 2013-07-20
Prolog中一些用于元编程的谓词 isaachan 2013-07-20
prolog的谓词\+的含义及其用法 蓝翼冰激凌 2013-07-05
关于prolog的一个小机会 tertio 3 2013-06-04
prolog(大坑(三基友(1))).%学习记录 付云v 4 2013-06-01
我想问个分支输出的问题。。。 Cyberholic 2 2013-05-27
prolog中的odbc联接 青波弦 2013-05-04
关系数据库比OO更符合逻辑 tertio 23 2013-04-23
DCG的额外参数,如N:s --> a(N), b(N), c(N). 是... [已注销] 2 2013-04-22
prolog的DCG tertio 1 2013-04-22
好吧,我也来晒一下自己写的渣程序……brainf**k编... [已注销] 2 2013-04-22
【求解】经典过河问题 黎昕 7 2013-04-21
有会用prolog做专家系统的么 Seagreen 2013-04-02
找书来啦,大家看过这本么? 明月清风 6 2013-04-01
new jacklu 1 2013-03-11
求助:用prolog写一位全加器 玩儿蛋 1 2013-03-10
有谁试过kanren么 averybigant 2013-03-08
求教。。。 mizuki 1 2013-03-01

友情小组

Compiler
Compiler (1516)
λ 学院
λ 学院 (2766)

最近加入

这个小组的成员也喜欢去

Haskell
Haskell (2416)
λ 学院
λ 学院 (2766)
LISP
LISP (5605)
scheme
scheme (1446)
Compiler
Compiler (1516)
OCaml
OCaml (443)
Clojure
Clojure (825)
  • >