oo_prolog.html

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

		<LI><A HREF="#oo_prolog_other_resources" target="_top">Other Resources</A>
	</UL>
	<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0">
	<LI><B>Other pages</B>
	<UL>
		<LI><A HREF="oo_clos.html" target="_top">CLOS</A>
	</UL>
</UL>

<P>
<HR ALIGN="CENTER" SIZE="1" NOSHADE>


<UL>
	<P><A NAME="oo_prolog_start_here"></A></P>
	<LI><B>Start here</B>
	<UL>
		<LI><A HREF="http://www.rpi.edu/~brings/logarg.html" target="_top">Introduction to Logic: (Selmer Bringsjord)</A>
		<LI><A HREF="http://www-lp.doc.ic.ac.uk/alp/archive.html" target="_top">The ALP Newsletter Archive</A>
		<LI><A HREF="http://www.cs.mu.oz.au/tr_db/mu_92_03.ps.gz" target="_top">A survey of logic programming-based object
		oriented languages, Andrew Davidson, Melbourne</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="http://www.rbjones.com/rbjpub/logic/index.htm" target="_top">What is Logic? (Factasia)</A>
	</UL>
	<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_examples"></A>
	<LI><B>Examples</B>
	<UL>
		<LI>OO Prolog
		<UL>
			<LI><A HREF="http://www.cs.mu.oz.au/~lee/src/oolp/tweety.op.txt" target="_top" ADD_DATE="895087188" LAST_VISIT="0"
			LAST_MODIFIED="0">tweety.op (NU OO Prolog)</A>
			<LI><A HREF="http://www.sics.se/isl/sicstus/docs/latest/html/sicstus.html#Inheritance" target="_top">Classification
			of Birds, Inheritance and Delagation (SICStus Prolog Objects)</A>
			<LI><A HREF="ftp://ftp.ox.ac.uk/pub/users/popx/prolog/poem/files/poemshapes.pl" target="_top">2D Shape Classes,
			Calculation and Intersection Methods (POEM)</A>
		</UL>
		<LI>Prolog in General
		<UL>
			<LI><A HREF="http://www.amzi.com/products/prolog_samples.htm" target="_top">Prolog and Logic Server Samples (Amzi!)</A><A
			HREF="" target="_top"> </A>
			<LI><A HREF="ftp://ftp.ox.ac.uk/pub/users/popx/prolog/library.html" target="_top">The Public-domain Prolog library
			(Jocelyn Paine, Oxford)</A>
			<LI><A HREF="http://www-cse.uta.edu/~holder/courses/cse5361/spr95/cse5361.html" target="_top">Artificial Intelligence
			II (CSE 5361) Spring 1995 Prolog Edition</A>
			<UL>
				<LI><A HREF="http://www-cse.uta.edu/~holder/courses/cse5361/spr95/code.tar.gz" target="_top">Source Code</A>
			</UL>
			<LI><A HREF="http://aisun0.ai.uga.edu/~mc/nladb.pl" target="_top">NLP Example (Michael Covington)</A>
		</UL>
		<LI>Prolog, Prolog and Java
		<UL>
			<LI>Examples from <A HREF="http://www.transvirtual.com/users/peter/treasures/logic-prog.html">Hidden Java Treasures:
			Programming in Logic (Peter C. Mehlitz, Transvirtual)</A> 
			<UL>
				<LI><A HREF="http://www.transvirtual.com/users/peter/treasures/prolog.html">Database Facts and Clauses </A>
				<LI><A HREF="http://www.transvirtual.com/users/peter/treasures/unify.html">Unification and Backtracking </A>
				<LI><A HREF="http://www.transvirtual.com/users/peter/treasures/graph-xmpl.html">Graph Processing Example</A> 
				<LI><A HREF="http://www.transvirtual.com/users/peter/treasures/prolog-kiev.html">Prolog to Kiev Translation - of
				Graph Example </A>
			</UL>
		</UL>
		<LI>Constraint Examples
		<UL>
			<LI><A HREF="http://www.ifcomputer.de/Products/IFProlog/Constraints/ExamplePrograms/home_en.html">Resource Allocation:
			Job Shop Scheduling, etc (IF Computer)</A>
		</UL>
	</UL>
	<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"><A NAME="oo_prolog_demos"></A>
	<LI><B>Demos</B>
	<UL>
		<LI><A HREF="http://www.clip.dia.fi.upm.es/miscdocs/webchat_info.html" target="_top">Ciao WebChat</A>
		<LI><A HREF="http://bach.seg.kobe-u.ac.jp/llp/" target="_top">Graphical Applet Demos (LLP, Kobe)</A>
		<UL>
			<LI><A HREF="http://pascal.seg.kobe-u.ac.jp/~banbara/queens/Queens.html" target="_top">N-queens</A>
			<LI><A HREF="http://pascal.seg.kobe-u.ac.jp/~banbara/knight/Knight.html" target="_top">Knights Tour</A>
		</UL>
		<LI><A HREF="http://clement.info.umoncton.ca/%7Etarau/logimoo/" target="_top">LogiMoo(Taurau)</A>
		<LI><A HREF="http://www.lpa.co.uk/ind_dem.htm" target="_top">Prolog Web Server Demo with Source Code (LPA)</A>
		
		<LI><A HREF="http://www.lpa.co.uk/ind_dem4.htm" target="_top">Prolog-Java-enabled Web Demo with Source Code (LPA)</A>
		<LI><A HREF="http://www.csee.wvu.edu/~winikoff/wp/" target="_top">Run W-Prolog</A>
		<LI><A HREF="http://ftp.als.com/pxml.html">ALS Web Demos and PXML (ALS) </A>
	</UL>
	<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_fun"></A>
	<LI><B>Fun</B>
	<UL>
		<LI><A HREF="http://www.isg.sfu.ca/life/#miscfun" target="_top" ADD_DATE="896173078" LAST_VISIT="0" LAST_MODIFIED="0">Backtrackin'
		Blues</A>
		<LI><A HREF="http://www-lp.doc.ic.ac.uk/alp/index-humour.html" target="_top">Humerous Implications (from ALS Newsletter)</A>
		<LI><A HREF="http://www.rpi.edu/~brings/logarg.html" target="_top">The Hyperproof Hall of Fame (Selmer Bringsjord)</A>
		<LI>Programming Contests:
		<UL>
			<LI><A HREF="http://www.cs.kuleuven.ac.be/~bmd/PrologProgrammingContests/" target="_top">The Prolog Programming
			Contest</A>
			<LI><A HREF="http://www.robocup.v.kinotrope.co.jp/02.html" target="_top">RoboCup: </A>
			<UL>
				<LI><A HREF="http://www.csl.sony.co.jp/person/kitano/RoboCup/RoboCup-old.html" target="_top">What is RoboCup, History</A>
				<UL>
					<LI><A HREF="http://www.uni-koblenz.de/~frvit/ROBOCUP/" target="_top">Koblenz</A> 
					<UL>
						<LI><A HREF="http://www.uni-koblenz.de/ag-ki/ROBOCUP/ROBOLOG/">RoboLog</A> 
					</UL>
					<LI><A HREF="http://coach.isi.edu">ISI: USC ISAAC</A> 
				</UL>
			</UL>
		</UL>
		<LI><A HREF="http://www.cs.wustl.edu/~loui/reamerick.text" target="_top">Really Bad (Annotated) Limerick (Peter
		Eklund).</A>
		<LI><A HREF="http://trantor.cse.psu.edu/~dale/humor/index.html" target="_top">Some Humor (Dale Miller)</A>
	</UL>
	<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_central_sites"></A>
	<LI><B>Central Sites</B>
	<UL>
		<LI><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/prolog/0.html" target="_top">CMU
		Prolog Repository</A>
		<LI><A HREF="http://bach.seg.kobe-u.ac.jp/prolog/" target="_top">Kobe University Prolog Home Page</A>
		<LI><A HREF="http://www.cse.psu.edu/~dale/lProlog/">Lambda Prolog Home Page (Dale Miller: PSU)</A>
		<LI><A HREF="http://www.csl.sri.com/linear/sri-csl-ll.html" target="_top">Linear Logic Home Page</A>
		<LI><A HREF="http://www.ci.uc.pt/oolpr/oolpr.html" target="_top" ADD_DATE="895087221" LAST_VISIT="0" LAST_MODIFIED="0">Object
		Oriented Logic Programming Page (Moura, Universidade de Coimbra)</A>
		<LI><A HREF="http://www.practical-applications.co.uk/Prolog/index.html" target="_top">Prolog Home Page</A>
		<LI><A HREF="http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/top.html" target="_top" ADD_DATE="894923861"
		LAST_VISIT="0" LAST_MODIFIED="0">Prolog Resource Guide</A>
	</UL>
	<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_related_sites"></A>
	<LI><B>Related Sites</B>
	<UL>
		<LI><A NAME="abduction"></A><A HREF="http://www.cis.ohio-state.edu/lair/Projects/Abduction/abduction.html" target="_top">Abductive
		Reasoning Information Page (Josephson, Ohio State)</A>
		<LI><A NAME="agent"></A><A HREF="http://www.cs.umbc.edu/agents/technology/" target="_top">AgentWeb (UMBC)</A>
		<UL>
			<LI><A HREF="http://www.cs.umbc.edu/kqml/" target="_top">KQML Web</A>
		</UL>
		<LI><A NAME="Constraint"></A><A HREF="http://www.cirl.uoregon.edu/constraints/" target="_top">Constraints Archive:
		(Joslin, Oregon State)</A>
		<LI><A HREF="http://www.cs.unh.edu/ccc/archive/" target="_top">Constraints Archive: (Eaton, University of New Hampshire)</A>
		<LI><A NAME="#ILP"></A><A HREF="http://www-ai.ijs.si/ilpnet.html" target="_top">ILPNet (Lavrac, J.Stefan Institute)</A>
		<LI><A HREF="http://www.ling.su.se/dali/" target="_top">Stockholm University: Datorlingvistik - DaLi</A>
		<LI><A HREF="http://www.isp.pitt.edu/~intgen/">Coconut Project (U. Pittsburg Intelligent Systems Program and SRI)
		</A>
		<UL>
			<LI><A HREF="http://www.isp.pitt.edu/~intgen/research-papers.html">Research Papers</A> 
		</UL>
	</UL>
	<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_link_collections"></A>
	<LI><B>Link Collections</B>
	<UL>
		<LI><A HREF="http://kti.ms.mff.cuni.cz/~bartak/prolog/implementations.html#prolog_in" target="_top">Interactive
		Prolog Guide (Roman Bart&aacute;k)</A>
		<LI><A HREF="http://pascal.seg.kobe-u.ac.jp/~banbara/lp/index.html#javalp" target="_top">Links related to Logic
		Programming / Theorem Prover (Mitsunori Banbara, Nara)</A>
		<LI><A HREF="http://www.links2go.com/topic/Prolog" target="_top">Links2Go: Prolog</A>
		<LI><A HREF="http://www.cs.ioc.ee/~tarmo/ltcs.html" target="_top">Logic and TCS related web-resources (Tarmo Uustalu)</A>
		
		<LI><A HREF="http://dmoz.org/Computers/Programming/Languages/Prolog/">Open Directory Project: Prolog</A>
		<LI><A HREF="http://www.logic-programming.org/resources.html">Prolog Resources: NALP </A>
		<LI><A HREF="http://www.pcai.com/pcai/New_Home_Page/ai_info/pcai_prolog.html#Prolog_Sites" target="_top">Prolog
		Information on the Internet (PC AI)</A>
		<LI><A HREF="http://goanna.cs.rmit.edu.au/~winikoff/links/research.html">Research Links: Linear Logic, Logic Programming,
		Functional Programming, etc (Michael Winikoff, RMIT)</A>
		<LI><A HREF="http://www.facstaff.bucknell.edu/rbeard/othrsite.html" target="_top">A Web of Lingusitics (R. Beard,
		Buchnell)</A>
		<LI><A HREF="http://www.comlab.ox.ac.uk/archive/logic-prog.html" target="_top">WWW Virtual Library: Logic Programming</A>
		<LI><A HREF="http://web.cs.city.ac.uk/archive/constraints/ftp.html" target="_top">WWW and FTP sites on Constraints
		(City University)</A>
		<LI><A HREF="http://ai.eecs.umich.edu/cogarch0/common/theory.html">Theories and Hypothesis Related to Human Cognitive
		Architectures (U. Michigan EECS)</A>
	</UL>
	<IMG SRC="pixel.gif" WIDTH="1" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"> <A NAME="oo_prolog_tutorials"></A>
	<LI><B>Tutorials</B>
	<UL>
		<LI>Prolog
		<UL>
			<LI><A HREF="http://cbl.leeds.ac.uk/~tamsin/prologtutorial/" target="_top">Introduction to Prolog (Mike Bradshaw,
			adapted by Tasmin Treasure-Jones and Paul Brna, Leeds)</A>
			<LI><A HREF="http://kti.ms.mff.cuni.cz/~bartak/prolog/learning.html" target="_top">Learning Prolog via Examples</A><A
			HREF="http://kti.ms.mff.cuni.cz/~bartak/prolog/implementations.html#prolog_in" target="_top">(Roman Bart&aacute;k)</A>
			<LI><A HREF="http://www.amzi.com/AdventureInProlog/advfrtop.htm" target="_top">Adventures in Prolog - Online Book
			(AMZI!)</A>
			<LI><A HREF="http://cbl.leeds.ac.uk/~paul/prologbook/" target="_top">Prolog Programming - A First Course (Paul
			Brna, Leeds)</A>
			<LI><A HREF="http://www.intranet.csupomona.edu/~jrfisher/www/prolog_tutorial/pt_framer.html" target="_top">Prolog:
			- tutorial. (J.R. Fisher, CSU Pomona)</A> 
		</UL>
		<LI>OO Prolog
		<UL>
			<LI><A HREF="http://www.trinc-prolog.com/pages/articles/timer_in_a_window/index.htm">A Timer in a Window (Ronald
			van der Lee, Trinc) </A>
			<LI><A HREF="http://www.ci.uc.pt/logtalk/manuals/tutorial/index.html">Logtalk Tutorial (Paulo Moura)</A>
		</UL>
		<LI>Deductive OO Databases
		<UL>
			<LI><A HREF="ftp://ftp.informatik.uni-freiburg.de/pub/florid/tutorial.ps.gz" target="_top">The <FONT SIZE="2">FLORID</FONT>
			Tutorial (Universit&auml;t Freiburg)</A>
		</UL>
		<LI>Java and Prolog
		<UL>
			<LI><A HREF="http://www.cs.ucy.ac.cy/compulog/dec98update/mainframe.htm">InterProlog: A simple yet powerful Java/Prolog
			interface</A>
		</UL>
		<LI>Logic Programming
		<UL>
			<LI><A HREF="http://www.info.ucl.ac.be/people/PVR/iclp99_tutorial.ps">Logic Programming in Oz with Mozart (Van
			Roy, 1999)</A> 
		</UL>
		<LI>RDF/XML