Home      Termine      Kontakt      Folien      Ablauf      Prüfung      Literatur      Software      Links

Logische Programmierung und deduktive Datenbanken

Software

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/]

Stefan Brass (brass@informatik.uni-halle.de), 01. Mai 2017

URL: http://www.informatik.uni-halle.de/~brass/lp17/software.html   [XHTML 1.0 Checked]   [CSS Checked]   [Links Geprüft]   [Impressum]