📄 oo_prolog.html
字号:
<UL>
<LI><A HREF="http://www.mozilla.org/rdf/50-words.html">rdf: in fifty words or less (Chris Waterson, Mozilla.org)</A>
</UL>
<LI>Advanced Prolog, LP and other Courses and Resources
<UL>
<LI><A HREF="http://sunset.usc.edu/~horowitz/Homework/xuejunX/course.html" target="_top">A List of Web-based Prolog
Courses (USC)</A>
<LI><A HREF="http://www.ai.mit.edu/people/dam/notes/6824.html">Artificial Intelligence (MIT 6.824)</A>
<LI><A HREF="http://www.pst.informatik.uni-muenchen.de/personen/fruehwir/pisa/">Constraint Programming and Reasoning
(Frühwirth, Abdennadher, Universität Muenchen)</A>
<LI><A HREF="http://foxnet.cs.cmu.edu/people/fp/courses/95-lp.html" target="_top">Corso di Intelligenza Artificiale
(Lanzarone, Milano)</A>
<LI><A HREF="http://foxnet.cs.cmu.edu/people/fp/courses/95-lp.html" target="_top">Course on Logic Programming -15-810D
(Pfenning, CMU)</A>
<LI><A HREF="http://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html" target="_top">Courses on Prolog and Logic
Programming (University of Birmingham)</A>
<LI><A HREF="http://theory.stanford.edu/people/jcm/cs358-95/schedule.html" target="_top">CS 358. Lecture Topics
and Suggested Reading (Mitchell, Stanford)</A>
<LI><A HREF="http://www.dcs.qmw.ac.uk/msc_info/">MSc in Advanced Methods in Computer Science: Queen Mary and Westfield
College, University of London</A>
<UL>
<LI><A HREF="http://www.dcs.qmw.ac.uk/~gar/MAS/" target="_top">Multi-Agent Systems(Graem Ringwood, Matthew Huntbach)</A>
<LI><A HREF="http://www.dcs.qmw.ac.uk/courses/AMC-017.html">Logic for Knowledge Representation (John Bell)</A>
</UL>
<LI><A HREF="http://foolhp.ap.kagu.sut.ac.jp/PAJ/Events/livetext.html" target="_top">Practical Standard Prolog
Courseware Initiative (Oskar Bartenstein, IF Computer Japan)</A>
<LI><A HREF="http://flp.cs.tu-berlin.de/lehre/propra.html" target="_top">Prolog-Praktikum (Weisweber, Berlin)</A>
<LI><A HREF="http://www.pms.informatik.uni-muenchen.de/lehre/technikenlp/96ss/index.html" target="_top">Techniken
der Logikprogrammierung (Bry, München)</A>
<LI><A HREF="http://ai.eecs.umich.edu/classes/547/547-top.html">EECS 547: Cognitive Architectures (Frank Vincent
Koss, University of Michigan EECS)</A>
<UL>
<LI><A HREF="http://ai.eecs.umich.edu/cogarch0/">A Survey of Cognitive and Agent Architectures</A>
<LI><A HREF="http://bigfoot.eecs.umich.edu/~soar/">The Soar Home Page</A>
</UL>
</UL>
</UL>
<P><IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_faqs"></A>
</UL>
<UL>
<LI><B>FAQs</B>
<UL>
<LI><A HREF="http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/faq/faq.html" target="_top" ADD_DATE="894923865"
LAST_VISIT="0" LAST_MODIFIED="0">comp.lang.prolog Frequently Asked Questions</A>
<LI><A HREF="http://saturn.las.ox.ac.uk/internet/news/faq/comp.lang.prolog.html" target="_top">Related FAQs (Oxford)</A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_support"></A>
<LI><B>Support</B>
<UL>
<LI><A HREF="http://www.amzi.com/support/index.htm" target="_top">AMZI! Support</A>
<UL>
<LI><A HREF="http://www.amzi.com/download/webls.htm" target="_top">Amzi! Problem Resolver (Web Based Support using
WebLS)</A>
</UL>
<LI><A HREF="mailto:support@lpa.co.uk" target="_top">LPA (E-mail)</A>
<LI><A HREF="mailto:qpsupport@sics.se">Quintus Support (E-Mail)</A>
<LI>
<LI><A HREF="http://www.sics.se/isl/sicstus/bugreport/bugreport.html">SISCtus Support</A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0">
<P><A NAME="oo_prolog_references"></A>
<LI><B>References</B>
<UL>
<LI><A HREF="http://www.informatik.uni-trier.de:80/~ley/db/prolog/index.html" target="_top">Prolog (Ley)</A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_standards"></A>
<LI><B>Standards</B>
<UL>
<LI><A HREF="http://www.logic-programming.org/prolog_std.html" target="_top">ISO Prolog Standard 1995 </A>
<LI><A NAME="PMG"></A><A HREF="http://www.practical-applications.co.uk/PMG/index.html" target="_top">The Prolog
Management Group</A>
<LI><A HREF="http://www.sju.edu/%7Ejhodgson/x3j17.html">X3J17 Technical Committee (Johnathan Hodgson)</A>
<UL>
<LI><A HREF="http://www.sju.edu/%7Ejhodgson/pub/suite.tar.gz">Validation Suite for ISO Prolog Part 1</A>
</UL>
<LI><A HREF="ftp://ftp-lifo.univ-orleans.fr/pub/Users/eddbali/SdProlog/">Executable specification of Standard Prolog
(Pierre Deransart (INRIA) and AbdelAli Ed-Dbali (Orleans) </A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_general_newsgroups"></A>
<LI><B>General Newsgroups</B>
<UL>
<LI><A HREF="news:comp.lang.prolog" target="_top">comp.lang.prolog</A>
<LI><A HREF="http://www.phoaks.com/comp/lang/prolog/index.html" target="_top">comp.lang.prolog (<FONT SIZE="2">PHOAKS</FONT>)</A>
<LI><A HREF="ftp://ftp.cs.cmu.edu/user/ai/lang/prolog/news/prolog/" target="_top">comp.lang.prolog (CMU Archive)</A>
<LI><A HREF="news:comp.object.logic" target="_top">comp.object.logic</A>
<LI><A HREF="http://www.phoaks.com/comp/object/logic/index.html" target="_top">comp.object.logic (<FONT SIZE="2">PHOAKS</FONT>)</A>
<LI><A HREF="http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/news/oop/0.html" target="_top">comp.object.logic
(CMU Archive)</A>
<LI><A HREF="news:fj.comp.lang.prolog" target="_top">fj.comp.lang.prolog</A>
<LI><A HREF="news:sci.logic" target="_top">sci.logic</A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_mailing_lists"></A>
<LI><B>Mailing Lists</B>
<UL>
<LI><A HREF="mailto:prog-logique@irisa.fr" target="_top">prog-logique (ALP)</A>
<LI><A HREF="http://www.trinc-prolog.com/pages/forum">Trinc-Prolog forums</A>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_general_articles"></A>
<LI><B>General Articles</B>
<UL>
<LI>OOLP
<UL>
<LI><A HREF="http://www.ci.uc.pt/oolpr/bibliography.html#articles" target="_top">List of Articles on OO Logic Programming
</A><A HREF="http://www.ci.uc.pt/oolpr/oolpr.html" ADD_DATE="895087221" LAST_VISIT="0" LAST_MODIFIED="0">(Universidade
de Coimbra)</A>
<LI><A HREF="http://www.ps.uni-sb.de/Papers/" target="_top">Publications of the Program System Lab (DFKI)</A>
<LI><A HREF="http://web.cs.ualberta.ca/~you/talks/inherit.ps" target="_top">Inheritance with Exceptions and Logic
Programming Tutorial, IJCSLP98 (Jia-Huai You)</A>
<LI><A HREF="ftp://ftp.cs.ualberta.ca/pub/oolog/oolkr.ps.gz" target="_top">Object Oriented and Logic-Based Knowledge
Representation (Vladimir Alexiev, Univerity of Alberta)</A>
</UL>
<LI>Prolog
<UL>
<LI><A HREF="http://www.amzi.com/articles/prolog_fun.htm" target="_top">Exploring Prolog: Adventures, Objects,
Animals, and Taxes (Amzi!, PC AI)</A>
<LI><A HREF="http://www.practical-applications.co.uk/Prolog/history.html" target="_top">The History of Prolog (Clive
Spenser)</A>
<LI><A HREF="http://www.practical-applications.co.uk/Prolog/alli.html" target="_top">You Can't Ignore Prolog (Allison
Roth)</A>
<LI><A NAME="1983"></A><A HREF="http://www.info.ucl.ac.be/people/PVR/official_report.ps" target="_top">1983-1993:
The Wonder Years of Sequential Prolog Implementation, (Peter Van Roy, JLP)</A>
<LI><A HREF="http://www.info.ucl.ac.be/people/PVR/papers.html">Selection of Interesting Papers and Documents (Peter
Van Roy)</A>
</UL>
</UL>
<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_special_articles"></A>
<LI><B>Special Articles</B>
<UL>
<LI>Implementing OOLP, Prolog
<UL>
<LI><A HREF="http://www.cs.mu.oz.au/publications/tr_db/mu_93_29.ps.gz" target="_top">Efficient object-oriented
programming in Prolog (Schachte and Saab, Melbourne).</A>
<LI><A HREF="http://web.cs.ualberta.ca/~duane/publications/abstracts/JSS92.html">An Object-Oriented Inference Engine
for Prolog (D. Lanovaz and D. Szafron)</A>
<LI><A HREF="http://web.cs.ualberta.ca/~duane/publications/TRabstracts/TR90-17Abstract.html" target="_top">GÖDEL:
An Interactive Incremental Logic Programming Environment (D. Lanovaz and D. Szafron)</A>
<LI><A HREF="http://www.isg.sfu.ca/ftp/pub/hak/prl/PRL-RR-32.ps.gz">Order-Sorted Feature Theory Unification (Hassan
Aït-Kaci, Andreas Podelski, and Seth Copen Goldstein)</A>
<LI><A HREF="http://www.isg.sfu.ca/ftp/pub/hak/prl/PRL-RR-11.ps.gz" target="_top">Towards a Meaning of LIFE (Hassan
Aït-Kaci and Andreas Podelski)</A>
<LI><A HREF="ftp://pascal.seg.kobe-u.ac.jp/pub/people/banbara/inap97.ps.gz" target="_top">College of Technology
and Tamura, Kobe University)</A>
<LI><A HREF="http://www.complang.tuwien.ac.at:80/andi/articles.html">Vienna Abstract Machine (VAM) articles (Andi
Krall, Institut für Computersprachen, Wien)</A> <IMG SRC="new.gif" WIDTH="31" HEIGHT="12" ALIGN="BOTTOM" BORDER="0"
H </UL>
<LI>Java Prolog Implementations
<UL>
<LI><A HREF="ftp://pascal.seg.kobe-u.ac.jp/pub/people/banbara/inap97.ps.gz" target="_top">Java implementation of
a linear logic programming language (Banbara, Nara)</A>
<LI><A HREF="http://www.cs.unt.edu/~tarau/research/" target="_top">Papers on BinProlog and Jinni (Paul Tarau)</A>
<LI><A HREF="http://www.cs.unt.edu/~tarau/research/PapersHTML/">Papers -HTML Versions (Paul Tarau)</A>
</UL>
<LI>Linear Logic
<UL>
<LI><A HREF="http://iml.univ-mrs.fr/LINEAR/papers/Synsem.ps.gz" target="_top">Linear Logic: It's Syntax and Semantics
(Jean-Yves Girard)</A> See also: <A HREF="#Advances">Advances in Linear Logic</A>, under Books, below)
<LI><A HREF="http://www.cs.hmc.edu/~hodas/papers/iclp90.ps" target="_top">Representing Objects in a Logic Programming
Language with Scoping Constructs,(Joshua Hodas, Dale Miller</A>)
<LI><A HREF="http://iml.univ-mrs.fr/LINEAR/node2.html#thematic">LINEAR: Scientific Description (Institut de Mathématiques
de Luminy)</A>
<LI><A HREF="ftp://ftp.cs.ualberta.ca/pub/oolog/tclo.ps.Z" target="_top">Targeted Communication in Linear Objects
(Vladimir Alexiev, Alberta)</A>
</UL>
<LI>Advanced Inheritance
<UL>
<LI><A HREF="http://www.cs.wustl.edu/~loui/deontic" target="_top">except from Defeasible Deonic Logic (Donald Nute)</A>
<LI><A HREF="http://ai.iit.nrc.ca/cgi-bin/jair-abstract?engelfriet98a" target="_top">Monotonicity and Persistence
in Preferential Logics (J.Engelfriet, JAIR)</A>
<LI><A NAME="networks"></A><A HREF="http://www.cogs.susx.ac.uk/lab/nlp/datr/datrnode33.html#SECTION00076000000000000000">Multiple
Inheritance in inheritance networks (from The DATR Web Pages, Evans, Gazdar, Keller, Sussex)</A>
<LI><A NAME="dynamic preference"></A><A HREF="http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume4/brewka96a-html/LPR.html"
target="_top">Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences (Gerhard Brewka, JAIR)</A>
</UL>
<LI>Database
<UL>
<LI><A HREF="http://www.cs.sunysb.edu/~kostis/Papers/xsb_ddb.html">XSB as an Efficient Deductive Database Engine
(Konstantinos Sagonas, Terrance Swift, and David S. Warren, ACM SIGMOD)</A>
</UL>
<LI>Software Engineering
<UL>
<LI><A HREF="http://www.cs.mu.oz.au/~lee/papers/hose/" target="_top">A Higher Order Reconstruction of Stepwise
Enhancement (Lee Naish and Leon Sterling, Melbourne)</A>
<LI><A HREF="http://www.cs.mu.oz.au/~lee/papers/ho/" target="_top">Higher-order Logic Programming in Prolog (Lee
Naish)</A>
</UL>
<LI>ILP, Abductive Logic
<UL>
<LI><A HREF="http://ai.iit.nrc.ca/cgi-bin/jair-abstract?giraud-carrier95a" target="_top">An Integrated Framework
for Learning and Reasoning (Giraud-Carrier and Martinez, JAIR)</A>
<UL>
<LI><A HREF="ftp://p.gp.cs.cmu.edu/usr/jair/pub/volume3/giraud-carrier95a-appendix.tar" target="_top">Source Code
for FLARE application (written in C)</A>
</UL>
<LI><A HREF="http://www.cs.ucy.ac.cy/compulog/newpage32.htm">Abduction and Induction in AI (Peter A. Flach and
Antonis Kakas IJCAI97)</A>
</UL>
<LI>CLP
<UL>
<LI><A HREF="http://web.cs.city.ac.uk/archive/constraints/byte.html" target="_top">Constraint Logic Programming
(Dick Pountain, Byte: City University, London Contraint Archive)</A>
<LI><A HREF="http://www.isg.sfu.ca/ftp/pub/hak/prl/PRL-RR-13.ps.gz" target="_top">Functions as Passive Constraints
in LIFE (Hassan Aït-Kaci and Andreas Podelski)</A>
</UL>
<LI>Object and Deductive Databases with Prolog
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -