On Fri, Jun 24, 2011 at 07:48:21PM -0400, Daniel Dickman wrote: > Here's a port for datalog. Similar to prolog in some respects. Looks like > a good recap of datalog vs. prolog can be found here: > > http://stackoverflow.com/questions/3924654/datalog-vs-clips-vs-prolog > > > [~] pkg_info datalog > Information for inst:datalog-1.5 > > Comment: > subset of Prolog where all programs terminate > > Description: > The Datalog package contains a lightweight deductive database system. > Queries and database updates are expressed using Datalog -- a > declarative logic language in which each formula is a function-free > Horn clause, and every variable in the head of a clause must appear > in the body of the clause. The use of Datalog syntax and an > implementation based on tabling intermediate results, ensures that > all queries terminate. > > The components in this package are designed to be small, and usable > on memory constrained devices. The package includes an interactive > interpreter for Datalog, and a library that can be employed to embed > a small deductive database into C programs. The library uses the > tabled logic programming algorithm described in "Efficient Top-Down > Computation of Queries under the Well-Founded Semantics", Chen, W., > Swift, T., and Warren, D. S., J. Logic Prog., Vol. 24, No. 3, pp. > 161-199. Another important reference is "Tabled Evaluation with > Delaying for General Logic Programs", Chen, W., and Warren, D. S., > J. ACM, Vol. 43, No. 1, Jan. 1996, pp. 20-74. > > Datalog is described 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. > > Maintainer: The OpenBSD ports mailing-list <[email protected]> > > WWW: http://www.ccs.neu.edu/home/ramsdell/tools/datalog/
Looks fine to me, though I've reworded COMMENT and shrank DESCR to just the first paragraph. Ok to import? -- Cheers, Jasper "Capable, generous men do not create victims, they nurture them."
datalog.tgz
Description: application/tar-gz
