Home      Publications      C++ Code      Translator      Abstract Machine      Benchmark Results      Links

Bottom-Up Evaluation with the "Push Method"

Some Links to Related Work

This page is under construction.

XSB:

• XSB Homepage: http://xsb.sourceforge.net/
• Konstantinos Sagonas, Terrance Swift, David S. Warren : XSB as an Efficient Deductive Database Engine (1994)
• Terrance Swift, David Warren: XSB: Extending Prolog with Tabled Logic Programming
• Terrance Swift: Environments for Tabled Prolog: Progress and Open Issues (Powerpoint Slides, 2009)

YAP:

• YAP Homepage: https://www.dcc.fc.up.pt/~vsc/Yap/
• Costa, V. S., Rocha, R., Damas, L. (2012): The YAP Prolog system.
  Theory and Practice of Logic Programming 12:1-2, 5-34
• Vitor Santos Costa: Yet Another Prolog, The Life of a Logic Programming System (Talk At ICLP'08)

DLV:

• DLV Homepage: http://www.dlvsystem.com/
• Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
  The DLV System for Knowledge Representation and Reasoning (2003)
  TOCL 2006

Data Structures:

• Leis, V., Kemper, A., Neumann, T. (1997):
  The adaptive radix tree: ARTful indexing for main-memory databases. (ICDE'2013)

Wine Ontology:

• OwL Guide
• Ontology: wines.daml
• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj (2008): Approximate OWL Instance Retrieval with SCREECH.
  [Alternative Source]
• Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker: Description Logic Programs: Combining Logic Programs with Description Logic. (WWW'03)
• Peter Haase et. al: Practical Reasoning with OWL and DL-Safe Rules (ESWC 2006)

Measuring Memory:

• In Linux, how to tell how much memory a process is using? (Stack Overflow)
• The PROC Filesystem
• How to Determine CPU and Memory Consumption from Inside a Process (Stack Overflow)
• How to Measure Actual Memory Usage of an Application or Process (Stack Overflow)
• Understanding Memory Usage on Linux (BlogSpot)
• Peak Memory Usage of a Linux/Unix Process (Stack Overflow)
• How does /usr/bin/time measure memory usage? (Stack Overflow)

Stefan Brass (brass@informatik.uni-halle.de), June 16, 2016

Original URL: http://www.informatik.uni-halle.de/~brass/push/links.html   [XHTML 1.0]   [CSS]   [Links]   [Legal Info]