<posts user="" update="2012-02-15 00:40:29"><post time="2011-11-13T18:07:03+0100" tag=" ai problem programming prolog solving" user="jaeschke" hash="3f3b9c827c6196c6710482b77dea7edd" description="Making the change with Prolog — the bad, the ugly and the good « xor" href="http://xor0110.wordpress.com/2010/06/04/making-the-change-with-prolog-the-bad-the-ugly-and-the-good/"/><post time="2011-10-01T02:24:45+0200" tag=" Prolog Programming Dictionary Information" user="panic" hash="483893ce06ec640384792f801dad0bd1" description="The Prolog Dictionary" href="http://www.cse.unsw.edu.au/~billw/prologdict.html"/><post time="2011-08-19T12:39:16+0200" tag=" OWL2 Prolog Reasoning Semantic_Web Semantic_Web_Technology Thea" user="zazi" hash="e0827b9fc7fce6a68400a5df6782c6a4" description="Thea - [SWI] Prolog OWL library" href="http://www.semanticweb.gr/thea/index.html"/><post time="2011-08-19T12:39:16+0200" tag=" OWL2 Prolog Reasoning Semantic_Web Semantic_Web_Technology Thea" user="zazi" hash="e504ca2eb026ab54e59089c29fa602da" description="Thea: Processing OWL Ontologies - An application of logic programming" href="http://www.slideshare.net/guest57f623bf/thea-processing-owl-ontologies-an-application-of-logic-programming?src=related_normal&amp;rel=1387006"/><post time="2011-08-19T12:38:57+0200" tag=" AnQL Annotated_RDF Annotation Prolog Semantic_Web Semantic_Web_Language" user="zazi" hash="2ee49f6d0a1b87113e7f11c4ac85d0e3" description="Annotated RDF" href="http://anql.deri.org/"/><post time="2011-08-19T12:38:36+0200" tag=" CTR Henry Linked_Data Music_Ontology P2R Prolog RDF-CTR Semantic_Web Semantic_Web_Framework UriSpace Vamp km-rdf moustaki" user="zazi" hash="82deac2d7148c5a2f993c3574587d50d" description="km-rdf - Project Hosting on Google Code" href="http://code.google.com/p/km-rdf/"/><post time="2011-07-13T18:13:19+0200" tag=" lisp prolog qi typeTheory" user="draganigajic" hash="57d12b3587c8b5166d28fba6b00deca2" description="Programming Kung Fu Qi" href="http://programmingkungfuqi.blogspot.com/"/><post time="2011-07-13T18:13:14+0200" tag=" Haskell comparison fp logicProgramming mercury-pl prolog" user="draganigajic" hash="f1367e8726765279f0551a47c002828c" description="The Mercury Project: Comparing Mercury and Haskell" href="http://www.cs.mu.oz.au/research/mercury/information/comparison_with_haskell.html"/><post time="2011-07-13T18:13:10+0200" tag=" javascript logic prolog python" user="draganigajic" hash="422a5730636d998ca61caf70efd0073d" description="Yield Prolog" href="http://yieldprolog.sourceforge.net/"/><post time="2011-07-13T18:13:08+0200" tag=" *RIL *read blogpost haskell logic programming prolog" user="draganigajic" hash="e06a440e2b00637afa1e3f2469950138" description="Typed Logic: Using Difference Lists" href="http://logicaltypes.blogspot.com/2008/08/using-difference-lists.html"/><post time="2011-07-13T18:12:59+0200" tag=" categoryTheory demo jPaine prolog" user="draganigajic" hash="4f889e0e90d6c5dd10bcb2a1c8027f79" description="Category Theory Demonstrations" href="http://www.j-paine.org/cgi-bin/webcats/webcats.php"/><post time="2011-07-13T18:12:48+0200" tag=" haskell logic logicProgramming prolog puzzles search zurg" user="draganigajic" hash="21fe33047a671774d1daabfc51408924" description="Escape from Zurg: An Exercise in Logic Programming" href="http://web.engr.oregonstate.edu/~erwig/zurg/"/><post time="2011-07-13T18:12:35+0200" tag=" course haskell lectures pl prolog" user="draganigajic" hash="09432a4771587704c18cc5437cb8b78d" description="COMP 304: Programming Languages CRN 964 | MSCS | Victoria University of ..." href="http://www.mcs.vuw.ac.nz/courses/COMP304/2007T1/"/><post time="2011-07-13T18:12:25+0200" tag=" comparison haskell programming prolog python scheme tutorial" user="draganigajic" hash="054a003b33e300867b79f6968eba9588" description="Programming Language Exploration" href="http://alumni.media.mit.edu/~tpminka/PLE/"/><post time="2011-07-13T18:12:08+0200" tag=" functional lisp logic programming prolog relational" user="draganigajic" hash="361715f09c931cdcc2df9dd7fe5e3ed9" description="DFKI - RELFUN Project" href="http://www.dfki.uni-kl.de/~vega/relfun.html"/><post time="2011-07-13T18:12:05+0200" tag=" prolog proof software" user="draganigajic" hash="a32a2de63c596074f8c4bf5cb1128192" description="DReaM Group Software" href="http://dream.inf.ed.ac.uk/software/"/><post time="2011-07-13T18:12:05+0200" tag=" links logic programming prolog" user="draganigajic" hash="46fe8b5a5eb815b6341b8e386988ed79" description="SICStus Prolog links" href="http://www.sics.se/isl/sicstuswww/site/links.html"/><post time="2011-07-13T18:12:03+0200" tag=" prolog proof proofPlanning" user="draganigajic" hash="e639caef2c47938e79a3b48d7f2b8827" description="LambdaClam Home Page" href="http://dream.dai.ed.ac.uk/software/lambda-clam/"/><post time="2011-07-13T18:12:02+0200" tag=" automatedTheorem lisp logic prolog" user="draganigajic" hash="b1a1603000ff08d753158bb876615f50" description="PTTP - Prolog Technology Theorem Prover" href="http://www.ai.sri.com/~stickel/pttp.html"/><post time="2011-07-13T18:11:36+0200" tag=" abduction chr prolog" user="draganigajic" hash="5f23677937f1da5e893fa834fe4c8128" description="HYPROLOG: Abduction and Assumptions in Logic Programming" href="http://akira.ruc.dk/~henning/hyprolog/"/></posts>
