The lang/datalog port
datalog-2.6p2 – deductive database system similar to Prolog (cvsweb github mirror)
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.WWW: https://datalog.sourceforge.net/
Maintainer
The OpenBSD ports mailing-list
Categories
Build dependencies
Run dependencies
Files
- /usr/local/bin/datalog
- /usr/local/include/datalog.h
- /usr/local/info/datalog.info
- /usr/local/lib/libdatalog.a
- /usr/local/lib/libdatalog.la
- /usr/local/lib/libdatalog.so.0.0
- /usr/local/man/man1/datalog.1
- /usr/local/share/datalog/
- /usr/local/share/datalog/datalog.html
- /usr/local/share/datalog/datalog.lua