the use of "database" in the docs references an "in memory only" database, right? The whole set of facts and rules must be parsed or otherwise "entered/programmed" into memory. There's no automatic disk backing, like a BTree or relational database persisting stuff behind the scenes?<br>
<br>Thanks.<br><br><div class="gmail_quote">On Fri, Feb 13, 2009 at 6:08 PM, Jay McCarthy <span dir="ltr"><<a href="mailto:jay.mccarthy@gmail.com">jay.mccarthy@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I've just released a PLaneT package that adds Datalog as a language in<br>
DrScheme. It is called datalog.plt.<br>
<br>
<a href="http://planet.plt-scheme.org/display.ss?package=datalog.plt&owner=jaymccarthy" target="_blank">http://planet.plt-scheme.org/display.ss?package=datalog.plt&owner=jaymccarthy</a><br>
<br>
Documentation is available online.<br>
<br>
<a href="http://planet.plt-scheme.org/package-source/jaymccarthy/datalog.plt/1/0/planet-docs/datalog/index.html" target="_blank">http://planet.plt-scheme.org/package-source/jaymccarthy/datalog.plt/1/0/planet-docs/datalog/index.html</a><br>
<br>
In particular, check out the tutorial!<br>
<br>
<a href="http://planet.plt-scheme.org/package-source/jaymccarthy/datalog.plt/1/0/planet-docs/datalog/Tutorial.html" target="_blank">http://planet.plt-scheme.org/package-source/jaymccarthy/datalog.plt/1/0/planet-docs/datalog/Tutorial.html</a><br>
<br>
Jay<br>
<br>
--<br>
Jay McCarthy <<a href="mailto:jay@cs.byu.edu">jay@cs.byu.edu</a>><br>
Assistant Professor / Brigham Young University<br>
<a href="http://teammccarthy.org/jay" target="_blank">http://teammccarthy.org/jay</a><br>
<br>
"The glory of God is Intelligence" - D&C 93<br>
_________________________________________________<br>
For list-related administrative tasks:<br>
<a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br>
</blockquote></div><br>