oo_prolog.html

cetus网络开发资源指南,包括近2万个开发网址

			<UL>
				<LI><A HREF="http://db.cs.sfu.ca/sections/publication/dood/dood.html" target="_top">Deductive and Object-Oriented
				Databases (SFU)</A>
				<LI><A HREF="http://www.cs.sunysb.edu/~kifer/dood/" target="_top">Foundations of Deductive Object-Oriented Databases(Michael
				Kifer, Stoneybrook)</A>
				<LI><A HREF="http://www.csd.abdn.ac.uk/~pfdm/publication.html#guis" target="_top" ADD_DATE="897983610" LAST_VISIT="0"
				LAST_MODIFIED="0">P/FDM Publications</A>
				<LI><A HREF="http://www.csd.abdn.ac.uk/~pfdm/postscript/embury.1992.ps" target="_top" ADD_DATE="898019047" LAST_VISIT="0"
				LAST_MODIFIED="0">Using Prolog to Provide Access to Metadata in an Object-Oriented Database,( Embury, Jiao and
				Gray, PAP92)</A>
				<LI><A HREF="http://www.isg.sfu.ca/ftp/pub/hak/prl/PRL-RR-27.ps.gz" target="_top">A Database Interface for Complex
				Objects (Marcel Holsheimer, A. de By Rolf, and Hassan Ait-Kaci) </A>
				<LI><A HREF="http://www.amzi.com/articles/bcpath_pcai.htm" target="_top">AMZI WebLS Breast Cancer Decision Support
				(Mary Kroening, Dr. Sabina Robinson, Dr. Fred Hegge) </A>
				<UL>
					<LI><A HREF="http://www.amzi.com/news/bcdg_award.htm" target="_top">[BCDG] wins Smithsonian Award (Mary Kroening,
					Amzi!) </A>
					<LI><A HREF="http://www.bcdg.org/">Department of Defense Breast Cancer Decision Guide</A> 
				</UL>
			</UL>
			<LI>Production Systems
			<UL>
				<LI><A HREF="http://www.pst.informatik.uni-muenchen.de/~fruehwir/chr/">Constraint Handling Rules (CHR) (Thom Fr&uuml;hwirth,
				Muenchen)</A> 
				<LI><A HREF="http://www.isi.edu/soar/tambe/match.html">Production Systems, the Utility problem in machine learning
				(Milind. Tambe, USC:ISI)</A> 
				<UL>
					<LI><A HREF="ftp://ftp.isi.edu/soar/CParaOPS/">ParaOP5</A>
				</UL>
				<LI><A HREF="http://www.pst.com/rete.htm">Rete and Rete II (PST)</A> 
			</UL>
			<LI>Semantic Web (W3 Org)
			<UL>
				<LI><A HREF="http://www.w3.org/DesignIssues/Semantic.html">Semantics</A>
				<LI><A HREF="http://www.w3.org/Metadata/">Metadata</A>
				<LI><A HREF="http://www.w3.org/TR/">W3 Technical Reports (XML, DOM, RDF, etc).</A>
				<LI><A HREF="http://www.w3.org/TandS/QL/QL98/">QL'98</A>
				<UL>
					<LI><A HREF="http://www.w3.org/TandS/QL/QL98/pp.html">Position Papers</A>
					<LI><A HREF="http://www.ilrt.bris.ac.uk/~ecdb/rdf/papers/">QL Papers (ILRT Bristol)</A>
					<UL>
						<LI><A HREF="http://www.ilrt.bris.ac.uk/~ecdb/rdf/papers/QL98-enabling/">Enabling Inferencing Guha, Lassila, Miller
						and Brickley</A>
					</UL>
				</UL>
				<LI><A HREF="http://www.lucifer.com/~sasha/articles/SemanticWeb.html">Semantic Web vision paper (Alexander Chislenko)</A>
				
				<LI><A HREF="http://www.lucifer.com/~sasha/newsfilter_plan.html">Newsfilter project: framework and specifications
				(Alexander Chislenko)</A> 
			</UL>
			<LI>Vienna Abstract Machine (VAM)
			<UL>
				<LI><A HREF="http://www.complang.tuwien.ac.at:80/andi/articles.html">Articles by Andi Krall</A> 
				<P><IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_interoperability"></A>
			</UL>
		</UL>
	</UL>
	<LI><B>Interoperability</B>
	<UL>
		<LI>Agents
		<UL>
			<LI><A HREF="http://www.lpa.co.uk/atk.htm">The Agent Toolkit (LPA)</A> 
		</UL>
		<LI>Languages, Package, and OS Interfaces
		<UL>
			<LI><A HREF="http://www.cs.sunysb.edu/~sbprolog/vb_dll.html">How to use XSB DLL from Visual Basic (SUNY Stony Brook)</A>
			<LI><A HREF="http://www.amzi.com/articles/prolog_cpp.htm">Integrating Prolog Services with C++ Objects (PC AI,
			Amzi!)</A>
			<LI><A HREF="http://www-lp.doc.ic.ac.uk/alp/net/index-olangs.html" target="_top">Interfacing Prolog with Other
			Languages (ALP Newsletter)</A>
			<LI><A HREF="http://www.ecrc.de/eclipse/html/protcl/protcl.html" target="_top">ProTcXl - the Prolog Interface to
			Tcl/Tk and Xlib</A>
			<LI><A HREF="http://www.informatik.uni-bonn.de/~angelica/PAT-WWW/" target="_top">PAT - Prolog and Tcl (Universit&auml;t
			Bonn)</A>
			<LI><A HREF="ftp://ftp.amzi.com/pub/share/digitalk.zip" target="_top">Smalltalk Logic Server Interface (for Amzi,
			Digitalk, Bob Mackenzie)</A>
			<LI><A HREF="http://www.amzi.com/support/winpreds.txt" target="_top"><FONT SIZE="2">WINPREDS</FONT> - Building
			Windows Predicates (Amzi!)</A> 
		</UL>
		<LI>Web Servers, Server Tools
		<UL>
			<LI><A HREF="http://www.clip.dia.fi.upm.es/Software/html_pl/html_pl.html" target="_top">html.pl (CLIP Lab)</A>
			<LI><A HREF="http://www.clip.dia.fi.upm.es/lpnet/index.html" target="_top">Internet and WWW programming using LP
			and CLP (CLIP Lab)</A>
			<LI><A HREF="http://www-lp.doc.ic.ac.uk/alp/net/index-network.html" target="_top">Network/Web Programming (ALS
			Newsletter)</A>
			<LI><A HREF="http://clement.info.umoncton.ca:pub/html/lm/html.html" target="_top">LogiMOO:Multi-User Virtual World
			with Natural Language Control </A><A HREF="http://clement.info.umoncton.ca/~tarau/netjinni/Jinni.html" target="_top">(Tarau,
			Debosschere, Dahl)</A>
			<LI><A HREF="http://www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html" target="_top">The PiLLoW Pages (CLIP Lab)</A>
			<LI><A HREF="" target="_top">ProWeb (LPA)</A> 
			<LI><A HREF="http://ftp.als.com/pxml.html" target="_top">PXML (ALS)</A>
			<LI><A HREF="http://www.amzi.com/download/webls.htm" target="_top">WebLS (Amzi!)</A>
			<UL>
				<LI><A HREF="http://www.amzi.com/WebLSManual/index.htm" target="_top">Installation and Documentation</A>
			</UL>
			<LI><A HREF="http://www.cs.mu.oz.au/~lee/src/forms/" target="_top">HTML Form Interface toNU-Prolog (Lee Naish)</A>
			<LI><A HREF="http://www.lpa.co.uk/tcp.htm">TCP/IP and Comms Library (LPA)</A> 
		</UL>
		<LI>Web Clients, Client Tools
		<UL>
			<LI><A HREF="http://www.binnetcorp.com/Jinni">Jinni:<FONT SIZE="4"> </FONT>Mobile Agent Library (Paul Tarau, Binnet)</A>
			<UL>
				<LI><A HREF="http://www.binnetcorp.com/Jinni/doc.html" target="_top">Online Documentation</A>
				<LI><A HREF="http://www.binnetcorp.com/Jinni/jidesc.html">Mobile Agent Features</A>
			</UL>
			<LI><A HREF="http://www.binnetcorp.com/Internet/index.html">BinNet Internet Programming Toolkit (for BinProlog
			and Jinni) (Paul Tarau)</A>
			<LI><A HREF="http://www.cs.mu.oz.au/~swloke/logicweb.html" target="_top">LogicWeb (Seng Wai Loke, Melbourne)</A>
		</UL>
		<LI>Semantic Web and RDF/XML
		<UL>
			<LI>W3.org
			<UL>
				<LI><A HREF="http://www.w3.org/RDF/">RDF Home Page (W3.org)</A>
				<LI><A HREF="http://www.w3.org/DesignIssues/Toolbox.html">The Semantic ToolBox: Building Semantics on top of XML-RDF
				(W3)</A> 
				<LI><A HREF="http://www.w3.org/DesignIssues/RDFnot.html">What Semantic Net is Not (Tim Berners-Lee)</A> 
				<LI><A HREF="http://www.w3.org/DesignIssues/Architecture.html">Web Architecture From 50,000 Feet (Tim Berners-Lee)</A>
				
			</UL>
			<LI>Mozilla.org
			<UL>
				<LI><A HREF="http://www.mozilla.org/rdf/doc/inference.html">Mozilla RDF/Enabling Inferences (Dan Brinkley, Mozilla.org)
				</A>
				<LI><A HREF="http://www.mozilla.org/rdf/doc/">RDF Home Page (Dan Brinkley, Mozilla.org) </A>
				<LI><A HREF="http://www.mozilla.org/rdf/doc/xul-template-reference.html">XUL &lt;template&gt; Reference (Mozilla.org)</A>
				
				<LI><A HREF="http://209.198.94.130/mzpl/">Prolog RDF DataSource: Mozillization (Dan Brinkley)</A>
			</UL>
			<LI><A HREF="http://www.ilrt.bris.ac.uk/discovery/rdf-dev/">RDF-DEV (Dan Brinkley, Bristol)</A> 
			<UL>
				<LI><A HREF="http://www.ilrt.bris.ac.uk/discovery/rdf-dev/roads/">RDF-DEV Resource Directory</A> 
			</UL>
			<LI><A HREF="http://www.aifb.uni-karlsruhe.de/~sde/rdf/">SiLRI: Simple Logic-based RDF Interpreter (Stefan Decker,
			AIFB Universit&auml;t Karlsruhe)</A> 
		</UL>
		<LI>Windows and Unix Client/Server
		<UL>
			<LI><A HREF="http://www.lpa.co.uk/int.htm">Intelligence Server: Windows DCOM Server (LPA)</A>
			<LI><A HREF="http://www.amzi.com/download/index.htm">Logic Servers forWindows, Solaris, Linux (AMZI!)</A>
		</UL>
	</UL>
	<P><IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_bibliographies"></A>
	<LI><B>Bibliographies</B>
	<UL>
		<LI><A HREF="http://www.sics.se/isl/sicstus2.html#Bibliography" target="_top">Bibliography and Intro Notes on Integrating
		OO and Logic (Vladimir Alexiev, Alberta)</A>
		<LI><A HREF="http://www.cs.berkeley.edu/~russell/aima-bib.html" target="_top">Bibliography for AI from: Artificial
		Intelligence: A Modern Approach (Russell, Norvig)</A>
		<LI><A HREF="http://www.cs.cmu.edu/~carsten/linearbib/linearbib.html">Bibliography on Linear Logic (Carsten Sch&uuml;rmann,
		CMU)</A>
		<LI><A HREF="http://www.trinc-prolog.com/bookstore/bookstore.php3">Bookstore</A> (Trinc)
		<LI>Collection of Computer Science Bibliographies on:
		<UL>
			<LI><A HREF="http://liinwww.ira.uka.de/bibliography/LogicProgramming/index.html" target="_top">Logic Programming</A>
			<LI><A HREF="http://liinwww.ira.uka.de/bibliography/Ai/index.html" target="_top">Artificial Intelligence</A>
		</UL>
		<LI><A HREF="http://ftp.ust.hk/dblp/db/index.html" target="_top">DB &amp; LP Bibligographic Server</A>
		<LI><A HREF="http://www.ci.uc.pt/logtalk/manuals/bibliography.html" target="_top">Logtalk Bibliography</A>
		<LI><A HREF="http://www.isi.edu/teamcore/tambe/agent-by-topic.html" target="_top">Multi-Agents, Teamwork, Agent
		modeling, Plan recognition, Intelligent Agents (Milind Tambe -USC:ISI)</A> 
		<LI><A HREF="http://www.sics.se/isl/sicstus2.html#Bibliography" target="_top">SICStus Bibliography</A>
		<LI><A HREF="http://www.csl.sri.com/linear/papers/other-papers.html">Pointers to Linear Logic Papers (SRI) </A>
	</UL>
	<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_books"></A>
	<LI><B>Books</B>
	<UL>
		<LI><A HREF="http://www.cs.berkeley.edu/~russell/competing.html" target="_top">Comparison of AI Textbooks (Stuart
		Russell, Berkeley)</A>
		<LI>Prolog
		<UL>
			<LI><A HREF="http://www.cs.berkeley.edu/~russell/aima.html" target="_top">Artificial Intelligence: A Modern Approach
			(Stuart Russell, Peter Norvig)</A>
			<LI><A HREF="http://www.cs.ubc.ca/spider/poole/ci.html" target="_top">Computational Intelligence: A Logical Approach
			(Poole, Mackworth, and Goebel)</A>
			<UL>
				<LI><A HREF="http://www.cs.ubc.ca/spider/poole/ci/ci_code.html" target="_top">Source Code</A><A HREF="http://mitpress.mit.edu/book-home.tcl?isbn=0262150395"
				target="_top">(David Poole, UBC)</A>
				<LI><A HREF="http://www.cs.ubc.ca/spider/poole/ci/unoff.html" target="_top">CI Unofficial Home Page</A><A HREF="http://mitpress.mit.edu/book-home.tcl?isbn=0262150395"
				target="_top">(UBC)</A>
			</UL>
			<LI><A HREF="http://www.amazon.com/exec/obidos/ASIN/0262193388/o/qid=945497352/sr=8-1/103-4374620-1276641" target="_top">The
			Art of Prolog (Leon Sterling, Ehud Shapiro)</A><IMG SRC="new.gif" WIDTH="31" HEIGHT="12" ALIGN="BOTTOM" BORDER="0"
			H <LI>
			<UL>
				<LI><A HREF="http://www.informatik.uni-trier.de/~ley/books/sterling.html" target="_top">Programs from (Michael
				Ley)</A>
				<LI>
				<LI><A HREF="http://perso.wanadoo.fr/colin.barker/sands.htm" target="_top">Excercizes from (Colin Barker)</A>
				<LI>
			</UL>
			<LI><A HREF="http://mitpress.mit.edu/book-home.tcl?isbn=0262150395" target="_top">The Craft of Prolog (Richard
			O'Keefe)</A>
			<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>
			<LI><A HREF="http://www.prenhall.com/books/esm_013138645X.html" target="_top">Prolog Programming in Depth (Covington,
			Nute, and Vellino)</A>
			<UL>
				<LI><A NAME="defeasibility"></A><A HREF="ftp://ai.uga.edu/pub/prolog.book/" target="_top">Source Code: including
				Defeasible Prolog (University of Georgia AI)</A>
			</UL>