https://github.com/hrs/datalog-user-manual

"This manual documents Datalog version 2.2, a lightweight deductive database system."
https://github.com/hrs/datalog-user-manual

Last synced: about 1 month ago
JSON representation

"This manual documents Datalog version 2.2, a lightweight deductive database system."

• Host: GitHub
• URL: https://github.com/hrs/datalog-user-manual
• Owner: hrs
• Created: 2014-01-13T22:58:23.000Z (about 11 years ago)
• Default Branch: main
• Last Pushed: 2020-06-11T17:14:01.000Z (over 4 years ago)
• Last Synced: 2024-11-30T22:17:11.190Z (about 2 months ago)
• Language: Makefile
• Size: 330 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Datalog User Manual

> 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.

Wanna learn some Datalog? Me, too! There's a lovely LGPL-licensed

[introductory user's guide][web], but it's just a webpage, and I

wanted to read an ebook, so here's this.

There's a [pdf], [epub], and [mobi]. Please enjoy!

To be very clear, I didn't write this guide; I'm just providing some

minor tweaks and building ebooks. The text of this guide is ©

2004 The MITRE Corporation.

## Building

You'll need [pandoc] for everything. You'll also need LaTeX to build

PDFs and KindleGen to build mobis.

You can use `make pdf`, `make epub`, or `make mobi` to build the

corresponding ebook, or just `make` to build all of them.

## License

Again, I absolutely do not own the copyright on this manual; I'm

simply reformatting it and redistributing it.

The original [Datalog User Manual][web] and this derivative are

licensed under the [LGPL]:

> Permission is granted to copy, distribute and/or modify this

> document under the terms of the GNU Lesser General Public License as

> published by the Free Software Foundation; either version 2 of the

> License, or (at your option) any later version. The terms are

> contained in the file COPYING.LIB in the source distribution of the

> software, or at http://www.gnu.org/licenses/lgpl.txt.

[pdf]: https://github.com/hrs/datalog-user-manual/raw/master/ebooks/datalog-user-manual.pdf

[epub]: https://github.com/hrs/datalog-user-manual/raw/master/ebooks/datalog-user-manual.epub

[mobi]: https://github.com/hrs/datalog-user-manual/raw/master/ebooks/datalog-user-manual.mobi

[web]: http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog.html

[pandoc]: http://johnmacfarlane.net/pandoc/

[LGPL]: http://www.gnu.org/licenses/lgpl.txt