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/
datalog.tar.gz
Description: Binary data
