留置权标志页

大学冲浪.net文件
Votre门户电子学习
文化数学
ENSup公司。et Minist(最小值)。ZH

运行经验
I S公司

套房百科全书
Séminaire公司MaMuX公司
数学、音乐与关系与艺术学科
国际卫生组织
高等科学研究院

  

Prolog Logique语言



Bas de page(低音页面)

组-组

<网址:http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/> <http://www-lp.doc.ic.ac.uk/> <网址:http://www.cs.engr.uky.edu/~lpnmr/>
大型欧洲研究人员团体
<http://archive.museophile.org/compulog网站/> <网址:http://www.cse.psu.edu/~dale/lProlog/index.html>

前c自杀者

网页

Mercury是一种新的逻辑/函数编程语言,它将声明式编程的清晰性和表达性与高级静态分析和错误检测功能结合在一起。
<http://www.cs.mu.oz.au/research/mercury网站/>
XSB是爱丁堡Prolog的扩展
<ftp://ftp.cs.sunysb.edu/pub/XSB/>
SWI-Prolog是一个自由软件Prolog编译器,根据Lesser GNU公共许可证授权。与图形工具包XPCE一起,它的开发始于1987年,一直受到实际应用程序需求的驱动。
<http://www.swi-prolog.org/>
ECL公司PS(聚苯乙烯)e(电子)是一个用于经济高效地开发和部署约束编程应用程序的软件系统,例如在规划、调度、资源分配、时间表、运输等领域。它也是教学组合问题解决的大多数方面的理想之选,例如问题建模、约束编程、,数学编程和搜索技术。
<http://www.icparc.ic.ac.uk/eclipse/>

前c自杀者

协会

<http://www.compulog.org网站/> <http://www.aslonline.org/>

前c自杀者

页面个人信息-主页

<网址:http://www.lim.univ-mrs.fr/~冷态/>

前c自杀者

埃科尔斯·德埃提埃-暑期学校

学生会议第20届欧洲逻辑、语言和信息暑期学校
将于2008年8月4日至15日在德国汉堡举行。
<http://staff.science.uva.nl/~kbalogh/StuS13/>

前c自杀者

会议

<网址:http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/Previous_ICLP/>
第二十一届逻辑程序设计国际会议2005年10月2日至5日
<http://www.iiia.csic.es/iclp2005/>
第二十二届逻辑程序设计国际会议
<http://www.easychair.org/FLoC-06/ICLP.html>
9月8日至13日在葡萄牙波尔图举行的第23届逻辑编程国际会议
<http://www.dcc.fc.up.pt/iclp07/>
第24届逻辑编程国际会议,2008年12月9日至13日,意大利乌迪内
自1982年在马赛举行的第一次会议以来,ICLP一直是介绍逻辑编程研究的首要国际会议。
<http://iclp08.dimi.uniud.it/>
ICLP’08第24届国际会议关于逻辑编程Udine,意大利,2008年12月9日至13日
自1982年在马赛举行第一次会议以来,ICLP一直是展示逻辑编程研究的首要国际会议。
<http://iclp08.dimi.uniud.it/>

前c自杀者

算法

科林·巴克
数独解算器。一个更快的数独解算器。。。
所有这些项目都已使用LPA Win-Prolog
<http://perso.wanadoo.fr/colin.barker/lpa/lpa.htm>

前c自杀者

示例-示例

解决Dr.Ecco的难题“火线”、有限自动机的最小化、Prolog中的递归数据类型、有向图中的最短路径、Knight’s tours N皇后问题
<网址:http://www.lh.com/~oleg/ftp/Prolog/>
密码学、魔法六边形、魔法序列、魔法正方形、Golomb标尺、斑马、层析成像、皇后、骗子。拼图集合。。。
<http://www.icparc.ic.ac.uk/eclipse/examples/index.html>
科林·巴克
Turbo Prolog Goodies公司。LPA Win-Prolog Goodies公司。封面设计。密码术
<http://perso.wanadoo.fr/colin.barker/>

前c自杀者

物流-软件

ICP是基于WAM的爱丁堡式序言。
<http://www-lp.doc.ic.ac.uk/LocalInfo/prolog.html>
是一个紧凑完整的CLP系统,运行Prolog和CLP(FD)程序。B-Prolog是一个基于模拟器的系统,其性能可与SICStus-Prolog媲美。
能发周纽约布鲁克林学院
<http://www.cad.mse.kyutech.ac.jp/people/zhou/bprolog.html>
本文中提到的clp(Q,R)系统是[Jaffar&Michaylov 87]介绍的通用约束逻辑编程方案的一个实例。
<http://www.ai.univie.ac.at/clpqr/>
PLAM是一种代数建模语言的Prolog实现。它使用免费提供的SWI-Prolog或商用SICStus-Prolog运行。
<http://www.mpi-sb.mpg.de/~barth/plam/plam.html> <http://www.licinfo.ups-tlse.fr/prolog.htm> <ftp://ftp.pasteur.fr/pub/computing/gnu/gprolog/> <ftp://ftp.inria.fr/inria/Projects/containtes/gnu-prolog/> <ftp://ftp.irisa.fr/local/maliv06文件/> <ftp://ftp.irisa.fr/local/pm/> <ftp://ftp.irisa.fr/local/Prolog2R/> <http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html> <http://www.comlab.ox.ac.uk/archive/logi-prog.html#Prolog(http://www.comlab.ox.ac.uk/archive/logi-prog.html#Prolog)> <http://www.idom.com/free-compilers/ECATEGORY/logicpro-1.html> <http://www.swi.psy.uva.nl/projects/xpce/download.html>
是一个基于Prolog的基本演绎数据库的免费实现,具有分层否定,使用Datalog作为查询语言。该系统是在Prolog-License GPL之上实现的
费尔南多·塞恩斯
<http://www.fdi.ucm.es/profesor/fernan/DES/index.html> <网址:http://www.dobrev.com/>
NU-Prolog的扩展,允许使用方程式定义可计算函数。
李·奈什墨尔本
<网址:http://ww.cs.mu.oz.au/~lee/papers/eq/>

前c自杀者

计划

削减CLIP解释器的gnuprolog实现。可以使用大括号输入区间算术约束。
<http://www.cs.brandeis.edu/~提姆/>

前c自杀者

概述-工具

Prolog的开源面向对象扩展
兼容性与Logtalk兼容的Prolog编译器列表
<http://www.logtalk.org/>

前c自杀者

爪哇

Prolog-to-Java翻译系统
支持BigInteger和模块系统的Prolog Cafe 0.9版将于2004年2月底推出。!
演示APPLETS N-Queen、Knight Tour、Pentomino、Peg Game
Mutsunori Banbara和Naoyuki Tamura
<http://kaminari.scitec.kobe-u.ac.jp/PrologCafe/> <http://wwwsi.supelec.fr/yb/projects/easyprogro/easyprogro.html>

前c自杀者

文件-纸张

<http://www.vanx.org/archive/wam/wam.html>

前c自杀者

JOURNAUX-字母

<http://www-lp.doc.ic.ac.uk/alp/archive.html>

前c自杀者

球场-球场

<http://users.info.unican.fr/~nugues/Cours/prolog/prolog.html> <http://www.info.univ-angers.fr/pub/stephan/MAIT_info/PROGRAMMATION_LOGIQUE/PROGRAMMATION_LOGIQUE.html>
克里斯汀·索尔农R©solution de probl–mes combinetoires-Th©orie des langages-Th®orie dess grapes-probl–优化数据图表-Algorithmique-Syst–mes d'explorations Unix/Linux-Programmation Syst–me-Programmation par containtes-Intelligence Artificielle-R©解决方案自动化问题–G工作室©nie logiciel
<http://www710.univ-lyon1.fr/%7Ecsolnon/prolog.html#语法> <网址:http://www.coli.uni-saarland.de/~kris/learn-prolog-now/>

前c自杀者

肿瘤-肿瘤-肿瘤

<http://fr.wikipedia.org/wiki/PROLOG> <http://www.shef.ac.uk/uni/academic/I-M/is/studwork/prolog/starting.html> <http://www.comlab.ox.ac.uk/oucl/courses/msc-comp/ilp/index.html> <http://www.comlab.ox.ac.uk/oucl/groups/machlearn/progol.html>
乔斯林·佩恩(Jocelyn Paine)。
<ftp://gateway.dec.com/pub/plan/prolog/uk/tutor.tar.tar.Z> <http://www.ecrc.de/eclipse/html/protcl/protcl.html>
罗曼·巴特
<http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html>
阿姆齐!股份有限公司。
<http://www.amzi.com/AdventureInProlog/advfrtop.htm>
作者:Peter Hancox博士
<网址:http://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html>

前c自杀者

手册-手册

<http://www.cs.usask.ca/resources/documentation/eclipse/eclipse_4.1/userman/umsroot.html>

前c自杀者

RéFéRENCES-参考文献

<http://liinwww.ira.uka.de/cobjectory/LogicProgramming/index.html>

前c自杀者

问题-常见问题

<http://www.cs.cmu.edu/Web/Groups/AI/html/air.html> <http://www.cis.ohio-state.edu/hypertext/faq/usenet/prolog/resource-guide/part2/faq.html> <http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/top.html> <http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/faq/faq.html> <http://www.cse.psu.edu/~dale/lProlog/faq/faq.html> <http://flits102-126.flits.rug.nl/~dirk-jan/prolog/faq/>
来自新闻组comp.lang.prolog公司
<http://fas.sfu.ca/0/cs/people/ResearchStaff/jamie/personal/prolog-faq.1>

前c自杀者

小组讨论-新闻

<http://www-lp.doc.ic.ac.uk/compangprolog.html> <http://www-lp.doc.ic.ac.uk/compconstraints.html> <新闻:comp.lang.prolog>

前c自杀者

火灾-公司

<http://www.amzi.com网站/> <http://www.sics.se/sicstus.html> <网址:http://www.binnetcorp.com/BinProlog/> <http://www.quintus.com网站/> <http://www.lpa.co.uk/>
ECRC约束逻辑并行系统
<http://www.ecrc.de/eclipse/eclipse.html>

前c自杀者

留置权-链接

<http://www.cwi.nl/projects/alp/Links/index.html> <网址:http://www.cs.engr.uky.edu/~lpnmr/rel_cites.html> <http://www.comlab.ox.ac.uk/archive/logic-prog.html> <http://www-poleia.lip6.fr/~liret/bookmarkslip6.html> <http://kaminari.scitec.kobe-u.ac.jp/logic/jprolog.html>
Logtalk、Prolog、,和面向对象编程相关资源。
<http://www.logtalk.org/links.html>

 上页











广告宣传: 如果您在其中一个未链接的文件中看到引用,并且您知道相应文档的链接地址,请给我发邮件,我会在文档中包含链接。提前非常感谢。
资产评估:分类标准最接近。留置权证书追溯到不同的准则等等。Les commentaires sont généralement des courts extraits des pages référenceées《法庭意见》。最有可能的是,一定会有必要在某一天。
Tous评论道,ou remarques sont les bienvenus,vous pouvez les adresserá:
埃克里尔

Les misesájour demandées sont réalisées dès que possible et,沙特西塞斯特内塞泽尔,奥村的消息是关于内塞斯特内塞的。美的怜悯。

版权所有©1999-2012 Jean-Paul Davalan-跨网站复制。