📄 oo_prolog.html
字号:
<LI><A NAME="WAM"></A><A HREF="http://www.isg.sfu.ca/~hak/documents/wam.html" target="_top">Warren's Abstract Machine:
A Tutorial Reconstruction (Hassan Aït-Kaci, on-line)</A>
</UL>
<LI>OOLP
<UL>
<LI><A HREF="http://www.amazon.com/exec/obidos/ISBN%3D0471191353/002-7888130-0647037">Constructing Intelligent
Agents with Java (Joseph P. and Jennifer Bigus)</A>
<LI><A HREF="http://www.cs.orst.edu/~budd/vita/ledatoc.html" target="_top">Multi-Paradigm Programming in Leda (Timothy
Budd)</A>
<LI><A HREF="http://www.amazon.com/exec/obidos/ASIN/0716782944/n/qid=918414966/sr=2-1/002-7888130-0647037">Object
Oriented Artificial Intelligence in C++ (Tracy and Bouthoorn)</A>
<LI><A HREF="http://cseng.aw.com/bookdetail.qry?ISBN=0-201-56507-2&ptype=798" target="_top">Prolog++ The Power
of Object-Oriented and Logic Programming (Chris Moss)</A>
</UL>
<LI>Linear Logic
<UL>
<LI><A NAME="Advances"></A><A HREF="http://www.cup.org/Titles/55/0521559618.html">Advances in Linear Logic (Girard,
Jean-Yves, Lafont, Yves and Regnier, Laurent, Eds.)</A>
</UL>
<LI>Natural Language
<UL>
<LI><A HREF="http://www.nyu.edu/pages/linguistics/anlcbk.html" target="_top">Natural Language Computing: An English
Generative Grammar in Prolog (Ray Dougherty, NYU)</A>
<LI><A HREF="http://www1.clbooks.com/asp/BookInfo/BookInfo.asp?theisbn=0136292135" target="_top">Natural Language
Processing for Prolog Programmers (Michael Covington)</A>
<UL>
<LI><A HREF="ftp://ai.uga.edu/pub/natural.language.book/" target="_top">Source Code (University of Georgia AI)</A>
</UL>
</UL>
<LI>Advanced Inheritance
<UL>
<LI><A NAME="Deontic"></A><A HREF="http://www.amazon.com/exec/obidos/ASIN/0471937436/002-4431213-6208849" target="_top">Deontic
Logic in Computer Science (Meyers and Wieringa, Eds).</A>
<LI><A HREF="http://www.ai.uga.edu/~dnute/ddl.html" target="_top">Defeasible Deontic Logic (Donald Nute, Ed)</A>
<LI><A NAME="Nonmonotonic"></A><A HREF="http://mitpress.mit.edu/book-home.tcl?isbn=0262011573" target="_top">Nonmonotonic
Reasoning (Grigoris Antoniou)</A>
<LI><A HREF="http://mitpress.mit.edu/book-home.tcl?isbn=0262011573" target="_top">Nonmonotonic Reasoning: An Overview
(Gerhart Brewka, Jürgen Dix, and Kurt Konolige)</A>
</UL>
</UL>
<P><IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_magazines"></A>
<LI><B>Magazines</B>
<UL>
<LI><A HREF="http://www.acm.org/tocl" target="_top">ACM Transactions on Computational Logic </A>
<LI><A HREF="http://www.pcai.com/pcai/New_Home_Page/" target="_top">PC AI (Knowledge Technology, Inc)</A>
<LI><A HREF="http://aaai.org/Magazine/magazine.html">AI Magazine</A>
<LI><A HREF="http://www.cs.ucy.ac.cy/compulog/">Compulog Newsletter</A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_other_publications"></A>
<LI><B>Other Publications</B>
<UL>
<LI><A HREF="http://www-lp.doc.ic.ac.uk/alp/archive.html" target="_top">The Association of Logic Programmers Newsletter
(on-line)</A>
<LI><A HREF="http://www.ida.liu.se/ext/etai/" target="_top">Electronic Transactions on Artificial Intelligence
(ETAI, Erik Sandewell, Ed.) , on-line)</A>
<LI><A HREF="http://www.jair.org/" target="_top">Journal of Artificial Intelligence Research (JAIR on-line)</A>
<LI><A HREF="http://www.dcs.ed.ac.uk/home/cdw/archive.html" target="_top">Journal of Functional and Logic Programming</A>
<LI><A HREF="http://www.oup.co.uk/jnls/list/logcom/" target="_top">Journal of Logic and Computation</A>
<LI><A HREF="http://www.elsevier.com:80/inca/publications/store/5/0/5/7/3/1/" target="_top" ADD_DATE="844477348"
LAST_VISIT="844477358" LAST_MODIFIED="844477329">The Journal of Logic Programming</A>
<LI><A HREF="http://www3.oup.co.uk/igpl/contents/">Logic Journal of the IGPL</A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_organizations"></A>
<LI><B>Organizations</B>
<UL>
<LI><A HREF="http://www.cwi.nl/projects/alp/index.html" target="_top">Association of Logic Programmers (ALP)</A>
<LI><A HREF="http://www-unix.mcs.anl.gov/AAR/">Assoication for Automated Reasoning (AAR)</A>
<LI><A HREF="http://www.cwi.nl/projects/alp/index.html" target="_top">Compulog Net (European Network of Excellence
in Computational Logic)</A>
<LI><A HREF="http://www.logic-programming.org/" target="_top">Logic Programming in North America (NALP)</A>
<LI><A HREF="http://www.logic-programming.org/">logic-programming.org</A>
<LI><A HREF="http://researchsmp2.cc.vt.edu/DB/db/lpgroups.html" target="_top">Logic Programming Research Groups
(DB&LP)</A>
<LI><A HREF="http://foolhp.ap.kagu.sut.ac.jp/PAJ/index.html" target="_top">Prolog Association of Japan</A>
<LI><A HREF="http://sigart.acm.org/ai/" target="_top">SIGART (ACM)</A>
<LI><A HREF="http://www.sics.se/isl/" target="_top">Swedish Institute of Computer Science (SICS) Intelligent System
Laboratory</A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_people"></A>
<LI><B>People</B>
<UL>
<LI>Finding Authors and Bibliographies:
<UL>
<LI><A HREF="http://hypatia.dcs.qmw.ac.uk/">Hypatia (QMW)</A>
</UL>
<LI>Prolog
<UL>
<LI><A NAME="Alain"></A><A HREF="http://theory.lcs.mit.edu/~jacm/Authors/colmeraueralain.html" target="_top" ADD_DATE="844475762"
LAST_VISIT="844478317" LAST_MODIFIED="844475759">Alain Colmerauer</A>
<LI><A NAME="Kowalski"></A><A HREF="http://researchsmp2.cc.vt.edu/DB/db/indices/a-tree/k/Kowalski:Robert_A=.html"
target="_top">Robert Kowalski</A>
<LI><A HREF="http://atlas.otago.ac.nz:800/staff/Richard.html" target="_top">Richard O'Keefe</A>
<LI><A HREF="http://www.info.ucl.ac.be/people/cvvanroy.html" target="_top">Peter Van Roy</A>
<LI><A NAME="DHDWarren"></A><A HREF="http://www.informatik.uni-trier.de:80/~ley/db/indices/a-tree/w/Warren:David_H=_D=.html"
target="_top">David H. D. Warren</A>
<LI><A HREF="mailto:matsc@sics.se">Mats Carlson</A>
</UL>
<LI>OOLP
<UL>
<LI><A HREF="http://www.ci.uc.pt/oolpr/people.html" target="_top">People working in OO Logic Programming </A><A
HREF="http://www.ci.uc.pt/oolpr/oolpr.html" target="_top" ADD_DATE="895087221" LAST_VISIT="0" LAST_MODIFIED="0">(Universidade
de Coimbra)</A>
<LI><A HREF="http://www.sics.se/isl/sicstus2.html#Bibliography" target="_top">Vladimir Alexiev</A>
<LI>Login, Life: <A HREF="http://www.isg.sfu.ca/life/" target="_top">Hassan Aït-Kaci</A>
<LI>LogTalk: <A HREF="http://www.ci.uc.pt/oolpr/oolpr.html" target="_top">Paulo Moura</A>
</UL>
<LI>Linear Logic
<UL>
<LI><A NAME="#Girard"></A><A HREF="http://mangle.dcs.qmw.ac.uk/authors/G/GirardJY/" target="_top">Jean-Yves Girard</A>
<UL>
<LI><A HREF="http://theory.lcs.mit.edu/~dmjones/hbp/jsyml/Authors/girardjeanyves.html" target="_top">References
at from LICS, MIT</A>
<LI><A HREF="http://iml.univ-mrs.fr/LINEAR/" target="_top">LINEAR (Institut de Mathématiques de Luminy)</A>
<LI><A HREF="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Girard:Jean=Yves.html" target="_top">References
from DBLP</A>
</UL>
<LI><A HREF="http://www.cs.hmc.edu/~hodas/" target="_top">Josh Hodas</A>
<LI><A HREF="http://trantor.cse.psu.edu/~dale/" target="_top">Dale Miller</A>
<LI><A HREF="http://www.cs.cmu.edu/~fp/" target="_top">Frank Pfenning</A>
<LI><A HREF="http://bach.seg.kobe-u.ac.jp/tamura.html" target="_top">Naoyuki Tamura</A>
</UL>
<LI>Inheritance Networks, Deontic Logic
<UL>
<LI><A HREF="http://aisun0.ai.uga.edu/~dnute/" target="_top">Donald Nute</A>
<LI><A HREF="http://www.umiacs.umd.edu/users/horty/" target="_top">John Horty</A>
<LI><A HREF="http://www.cs.cmu.edu/~dst/" target="_top">Dave Touretzky</A>
<LI><A HREF="http://www.eecs.umich.edu/~rthomaso/">Richmond H. Thomason</A>
</UL>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_conferences_workshops"></A>
<LI><B>Conferences / Workshops</B>
<UL>
<LI><A HREF="http://www.practical-applications.co.uk/ASTAP/index.html" target="_top">Advanced Software Technology
Awareness Program</A>
<LI><A HREF="http://www.ifcomputer.com/inap98/" target="_top">International Conference on Applications in Prolog
(INAP)</A>
<LI><A HREF="http://sunsite.ust.hk/dblp/db/conf/dood/index.html" target="_top">International Conference on Deductive
and Object Oriented Databases (DOOD)</A>
<LI><A HREF="http://researchsmp2.cc.vt.edu/DB/db/conf/iclp/index.html" target="_top">International Conference on
Logic Programming (ICLP)</A>
<LI><A HREF="http://www.cs.man.ac.uk/~kung-kiu/jicslp98/" target="_top">Joint International Conference and Symposium
on Logic Programming (<FONT SIZE="2">JICSLP</FONT>)</A>
<LI><A HREF="http://www.cs.man.ac.uk/~kung-kiu/lopstr98/" target="_top">Logic-based Program Synthesis and Transformation
(<FONT SIZE="2">LOBSTR</FONT>)</A>
<LI><A HREF="http://www.practical-applications.co.uk/" target="_top">Practical Applications Conferences (PAP, PACT,
PADD, PAAM)</A>
<UL>
<LI><A HREF="http://www.practical-applications.co.uk/Proceedings/index.html">Proceedings</A>
</UL>
<LI><A HREF="http://www-info1.informatik.uni-wuerzburg.de/wlp97/" target="_top">Workshop Logische Programmierung
(WLP)</A>
<LI><A HREF="http://www.cs.louisville.edu/faculty/page/ilp98/index.html" target="_top">Simultaneous Conferences:
ICML, ILP, NCAI, IAAI, COLT, GP, UAI CogSci, STD</A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_development_environments"></A>
<LI><B>Development Environments</B>
<UL>
<LI><A HREF="http://www.lpa.co.uk/#lpa" target="_top">Portable Dialog Manager for LPA, Quintus (LPA)</A>
<LI><A HREF="http://swi.psy.uva.nl/projects/xpce/">XPCE (Jan Wielemaker, Anjo Anjewierden)</A>
<UL>
<LI><A HREF="http://swi.psy.uva.nl/projects/xpce/download.html">Download </A>
</UL>
<LI><A HREF="http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/gui/xwip/0.html" target="_top">XWIP:
GUI (X-Windows) Interface</A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_compilers_interpreters"></A>
<LI><B>Compilers / Interpreters</B><BR>
List of Prolog Implementations
<UL>
<LI><A HREF="http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part2/faq.html">Prolog Resource Guide Part
2: Prolog Implementations</A>
</UL>
<P>Prolog (and LLP) with OOP built-in support or extensions::
<UL>
<LI><A HREF="http://www.cplire.ru/Lab144/" target="_top">Actor Prolog </A>(in Russian)
<LI><A HREF="http://www-i2.informatik.rwth-aachen.de/~hanus/systems/ALF.html" target="_top">ALF</A>
<UL>
<LI><A HREF="http://www-i2.informatik.rwth-aachen.de/hanus/systems/ALF/ALF.tar.Z" target="_top">Download</A>
<LI><A HREF="http://www-i2.informatik.rwth-aachen.de/hanus/systems/ALF/manual.dvi.Z" target="_top">Manual</A>
</UL>
<LI><A HREF="http://www.comnets.rwth-aachen.de/~ost/private.html" target="_top" ADD_DATE="896174199" LAST_VISIT="0"
LAST_MODIFIED="0">AMZI<FONT SIZE="4">! </FONT>Prolog (Amzi!, inc)</A>
<UL>
<LI><A HREF="http://www.comnets.rwth-aachen.de/~ost/private.html" target="_top" ADD_DATE="896174199" LAST_VISIT="0"
LAST_MODIFIED="0">OPL: Object-oriented Programming with Logic</A>
</UL>
<LI><A HREF="http://www.als.com/" target="_top">Applied Logic Systems(ALS) Prolog</A>
<UL>
<LI><A HREF="http://www.als.com/alspro/objectpro.html" target="_top">ObjectPro</A>
</UL>
<LI><A NAME="BAP"></A><A HREF="http://www.comnets.rwth-aachen.de/~ost/private.html" target="_top" ADD_DATE="896174199"
LAST_VISIT="0" LAST_MODIFIED="0">Brain Aid Prolog: BAP (Martin Ostermann)</A>
<LI><A HREF="http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html" target="_top">CMU
AI Repository Free/Shareware Prolog implementations</A>
<LI><A NAME="ECLiPSe"></A><A HREF="http://www.icparc.ic.ac.uk/eclipse/" target="_top">ECLiPSe (IC-PARC)</A>
<UL>
<LI><A HREF="http://www.ecrc.de/eclipse/eclipse.html" target="_top">Info at (ECRC)</A>
<LI><A HREF="http://www.ecrc.de/eclipse/html/umsroot/umsroot.html" target="_top">Manual (from ECRC)</A>
<UL>
<LI><A HREF="http://www.ecrc.de/eclipse/html/umsroot/node6.html#SECTION00231000000000000000" target="_top">MetaTerms</A>
</UL>
<LI><A HREF="http://www.ecrc.de/eclipse/html/extroot/extroot.html" target="_top">Extensions, Attribute Variables</A>
</UL>
<LI><A HREF="http://www.promd.de/~Pohl/FunLog++.Htm" target="_top">FunLog++ Project (Dr. Bernard.Pohl, ProMD)</A>
<LI><A HREF="http://www.ifcomputer.de/Products/IFProlog/home_de.html" target="_top">IF Prolog </A><A HREF="ftp://ftp.cs.orst.edu/pub/budd/leda/ReadMe.html"
target="_top">(IF Computer)</A>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -