Logische Programmierung und deduktive Datenbanken

Prolog/CLP-Systeme:

• SWI-Prolog
  • [http://www.swi-prolog.org/]
• GNU Prolog
  
  • [http://gnu-prolog.inria.fr/]
• The Ciao Prolog System
  
  • [http://clip.dia.fi.upm.es/~clip/Software/Ciao/]
• ECLiPSe Constraint Logic Programming System
  
  • [http://eclipse.crosscoreop.com/eclipse/]
  • [http://www.clps.de/]
• Amzi! Prolog + Logic Server
  
  • [http://www.amzi.com/index.php]
• B-Prolog
  
  • [http://www.probp.com/]
• SICStus Prolog
  
  • [http://www.sics.se/sicstus/] (Homepage)
  • [http://www.sics.se/sicstus/docs/3.7.1/html/sicstus_toc.html] (User Manual)
  • [http://www.sics.se/isl/sicstuswww/site/links.html] (Useful Links)
• Visual Prolog
  
  • [http://www.visual-prolog.com/]
  • [http://www.pdc.dk/Default.htm] (PDC: Prolog Development Center)
• The Prolog ISO Standard Documents
  
  • [http://pauillac.inria.fr/~deransar/prolog/docs.html]

Deduktive Datenbanken:

• Coral Deductive Database
  
  • [http://www.cs.wisc.edu/coral/]
  • [http://se.aminet.net/pub/databases/deductive/coral/]
  • [http://se.aminet.net/pub/databases/object-oriented/exodus/]
• The Aditi Deductive Database
  
  • [http://www.cs.mu.oz.au/research/aditi/]
• The Deductive Database System LDL++
  
  • [http://wis.cs.ucla.edu/ldl/]
  • [http://www.cs.ucla.edu/~zaniolo/papers/tplp02.pdf] (Neuerer Artikel über LDL++)
  • [http://web.cs.ucla.edu/~zaniolo/czdemo/ldlwww.old/javademo/ldlcourse/node1.html] (LDL++ Tutorial)
  • [http://www.cs.ucla.edu/ldl/] (LDL Java Interface)
  • [http://www.cs.uwyo.edu/~ruben/research/pdf/guide.pdf] (SALAD User Guide - Implementierung von LDL)
• The LOLA Project, Implementation of a Deductive Database System
  
  • [http://www.im.uni-passau.de/projekte/lola.html]
• ROCK&ROLL: Deductive Object Oriented Database System
  
  • [http://www.cee.hw.ac.uk/Databases/rnr.html]
• Datalog Educational System 1.7.0
  
  • [http://www.softpedia.com/get/Others/Home-Education/Datalog-Educational-System.shtml]
  • [http://www.fdi.ucm.es/profesor/fernan/des/]
• Lightwight Deductive Database System (MITRE Corporation)
  
  • [http://www.ccs.neu.edu/home/ramsdell/tools/datalog/]
• bbdbddb - BDD-Based Deductive DataBase
  
  • [http://bddbddb.sourceforge.net/]
• LogicBlox: Cloud-delivered platform for actionable Big Data enterprise applications
  
  • [http://www.logicblox.com/] (Homepage)
  • [http://www.logicblox.com/presentations/arefdatalog20.pdf] (Talk: Datalog for Enterprise Applications)
• Souffle
  
  • [http://souffle-lang.org/]
• AbcDatalog
  
  • [http://abcdatalog.seas.harvard.edu/]
• IRIS Reasoner
  
  • [http://www.iris-reasoner.org/]
• DeALS
  
  • [http://wis.cs.ucla.edu/deals/]

Erweiterte Logische Programmiersprachen:

• The Mercury Project
  
  • [http://www.cs.mu.oz.au/research/mercury/]
• The Mozart Programming System
  
  • [http://www.mozart-oz.org/]
• XSB
  
  • [http://xsb.sourceforge.net/]
• Flora-2
  
  • [http://flora.sourceforge.net/]
• FLORID/FloXML
  
  • [http://www.informatik.uni-freiburg.de/~dbis/florid/]
  • [http://www.semwebtech.org/domains/test/DLFlorid/] (Online Demo)
• Xcerpt
  
  • [http://www.xcerpt.org/]
• ConceptBase: A Deductive Object Manager for Meta Databases
  
  • [http://www-i5.informatik.rwth-aachen.de/CBdoc/]
• The Goedel Programming Language
  
  • [http://www.cs.bris.ac.uk/~bowers/goedel.html]
• A Java Deductive Reasoning Engine for the Web
  
  • [http://www.jdrew.org/jDREWebsite/jDREW.html]
• IRIS - Integrated Rule Inference System
  
  • [http://iris-reasoner.org/]

Answer Set Programming (ASP Systeme):

• smodels
  
  • [http://www.tcs.hut.fi/Software/smodels/]
• Potassco (clasp, Gringo, ...)
  
  • [http://potassco.sourceforge.net/]
• DLV
  
  • [http://www.dlvsystem.com/]

Sonstiges/Spezielle Implementierungen:

• Datalog in Racket (Scheme-ähnliche funktionale Sprache)
  • [https://docs.racket-lang.org/datalog/]

Prof. Dr. Stefan Brass

Impressum