Commits

Pierre Carbonnelle committed e3ab1b1 Draft

SLG

Comments (0)

Files changed (1)

 The depth of recursion is not limited by the stack size.
 
 pyDatalog is fast and lightweight:
-* it uses the [[http://www.cs.sunysb.edu/~tswift/webpapers/jlp-95.pdf|SLG resolution]] algorithm with [[http://en.wikipedia.org/wiki/Memoization|memoization]]
+* it is based on the [[http://www.cs.sunysb.edu/~tswift/webpapers/jlp-95.pdf|SLG resolution]] algorithm with [[http://en.wikipedia.org/wiki/Memoization|memoization]]
 * it has less than 2 K lines of code.
 
 pyDatalog has an open architecture: