Selene 视频转换工具软件
Selene 是一款自由开源视频转换工具软件,采用 Vala 语言开发。支持常见的视频和音频格式文件:OGG、 OGV……...
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标准
有别于一般的过编程语言,prolog的程式是基于谓词逻辑的理论。最基本的写法是定立物件与物件之间的关系,之后可以用询问目标的方式来查询各种物件之间的关系。系统会自动进行匹配及回溯,找出所询问的答案。
语法示例
表示事实:
human(kate).human(bill).likes(kate,bill).
表示kate和bill是一个人(human),kate喜欢bill,而表示规则:
friend(X,Y):-likes(X,Y),likes(Y,X).
表示,对于两个对象XY.如果X喜欢Y,且Y喜欢X,那么他们是朋友。
Selene 是一款自由开源视频转换工具软件,采用 Vala 语言开发。支持常见的视频和音频格式文件:OGG、 OGV……...
KiCad 是一款跨平台的开源电子设计自动化(EDA)套件,支持原理图设计和PCB布局控制。具备符号库编辑器、3……...
使用Raw你可以在数分钟内就轻松完成一些高级数据可视化工作,基于 D3.js 实现。(当然,你最好能先拜读一……...
ACE 是一个面向对象的工具开发包,它实现了通信软件的基本设计模式。ACE面向在UNIX和Win32平台上开发高性……...
dnscrypt-proxy 可当作是一个 DNS 代理服务器,用于提供 DNS 客户端和服务器之间的安全通讯。 DNSCrypt是……...
TTime是一款功能丰富的翻译软件,提供了多种便捷的翻译方式和文字识别功能。这个软件支持多种翻译源,并……...
Rust 是 Mozilla 的一个新的编程语言,由web语言的领军人物Brendan Eich(js之父),Dave Herman以及Mozilla公司的Graydon Hoare 合力开发。 创建这个新语言的目的是为了解决一个很顽疾的问题:软件的演进速度大……
Mobile ALOHA低成本的全身遥控操作系统,它可以通过模仿学习人类的行为,学会家务类型的活动。比如操作员演示 50 次煎炒虾,该机器人就可以自主完成炒虾的操作,作者团队还演示了擦玻璃、洗碗、收纳物品等任务。 ……
PSP模拟器 JPcsp 是一个基于Java的开源PSP模拟器,经过5个月的持续开发,目前推出了0.1版,这是第一个官方正式版本。 这个版本支持了更多的游戏模拟,当然目前并不是所有的游戏都支持,不过还会不断的进行完善。