MARTIN-LUTHER-UNIVERSITÄT HALLE-WITTENBERG RESEARCH PROJECT
Institut für Informatik Deductive Databases
Prof. Dr. Stefan Brass Push Method

 

 

Bottom-Up Evaluation with the "Push Method"

Some Links to Related Work

 

This page is under construction.

 

XSB:

 

YAP:

 

DLV:

 

Data Structures:

 

Wine Ontology:

 

Measuring Memory:

 


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]