Be the first to post a text review of datalog. Rate and review a project by clicking thumbs up or thumbs down in the right column.

• File released: /datalog/1.4/datalog-1.4.tar.gz

  posted 268 days ago

• datalog 1.4 file released: datalog-1.4.tar.gz

  2009-03-30 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-1_4. * datalog.c (dl_ask): Added forgotten pop of the answer array so as to fix a space leak reported by Faisal Alquaddoomi. * Updated Lua sources to version 5.1.4. 2007-07-18 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-1_3. * interp.c (main): Add dl_close so as to allow valgrind leak check. 2007-04-14 John D. Ramsdell <ramsdell@mitre.org> * Updated Lua sources to version 5.1.2. * configure.ac: Changed version number to 1.3 2006-09-29 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-1_2. * Added the Lua sources into the distribution so that this program no longer depends on the right Lua distribution being installed. * datalog.spec.in: The library and the header are made available only in a separate development package. The development package still depends on the right Lua distribution being installed. 2006-08-24 John D. Ramsdell <ramsdell@mitre.org> * bin2c.c, datalog.c, interp.c, loader.c: Replace zeros with NULLs when used as null pointer constants. 2006-07-27 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-1_1. 2006-07-19 John D. Ramsdell <ramsdell@mitre.org> * datalog.c (dl_open): Libraries are now opened using lua_call as is done in luaL_openlibs. 2006-05-24 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-1_0. 2006-05-18 John D. Ramsdell <ramsdell@mitre.org> * datalog.c: Modified so as to make use of the Lua 5.1 C API. * datalog.h: Changed the definition of dl_db_t to expose the Lua state. Users of this header file must include lua.h. 2006-03-04 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-0_7. * datalog.lua.in: Converted usages of the n field in an array to calls to table.getn(...). 2006-02-27 John D. Ramsdell <ramsdell@mitre.org> * bin2c.c: Made binary data to C source file converter non-Lua specific. 2005-12-12 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-0_6. * datalog.lua.in: Made the copying of the database include copying each predicate so that a predicate's clauses are not shared. 2005-12-07 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-0_5. 2005-11-16 John D. Ramsdell <ramsdell@mitre.org> * datalog.lua.in: Added copy and revert, another way to save and restore databases. With copy and revert, one can use one copy of a database multiple times to revert to a previous database. 2005-11-09 John D. Ramsdell <ramsdell@mitre.org> * datalog.c (dl_version): Provided version information via a library function. 2005-08-10 John D. Ramsdell <ramsdell@mitre.org> * datalog.lua.in: Added the ability to save and restore databases. 2005-05-23 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-0_4. * Changed notation to use literal to describe an atomic formula and other name changes so as to follow the conventions in "What You Always Wanted to Know About Datalog (And Never Dared to Ask)", Stefano Ceri, Georg Gottlob, and Letizia Tanca, IEEE Transactions of Knowledge and Data Engineering, Vol. 1, No. 1, March 1989. 2005-01-21 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-0_3. * datalog.lua (rename_clause): Changed so that all variables in a clause are renamed rather than just the ones in the clause's goal. The previous implementation allowed inferences to fail when they should have succeeded. 2004-12-27 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-0_2. * datalog.lua.in (insert, remove, assert, retract): Return value changed. Each returns their argument, except that assert returns nil when given an unsafe clause. * acinclude.m4: Added a lua library version checking macro. 2004-12-23 John D. Ramsdell <ramsdell@mitre.org> * datalog.lua.in: Optimized for performance. Removed needless dispatches through metatables and converted calls to tail calls whenever possible. * try.sh: Added a simple testing framework. 2004-12-22 John D. Ramsdell <ramsdell@mitre.org> * datalog.lua.in (datalog): Lua functions are exported in the datalog package. * datalog.texi (Introduction): Added references to journals with articles describing tabled logic programming. 2004-12-21 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-0_1. * datalog.h (dl_db_t): Changed the name of the type of a Datalog database to dl_db_t. Functions exported by the library are prefixed with DATALOG_API. * datalog.c (dl_init): Added an init function so that an existing Lua structure can be used with the deductive database. * datalog.texi: The LGPL is the license for the manual. Updated the manual to document the dl_db_t and dl_init changes. 2004-12-20 John D. Ramsdell <ramsdell@mitre.org> * CVS: Tagged as datalog-0_0.

  posted 268 days ago