Datalog Educational System Files

Deductive Database with Datalog, SQL, RA, TRC, DRC

Brought to you by: fsaenzperez

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
manualDESDevel.pdf	2015-01-05	2.0 MB	0
DESDevelACIDE0.16Windows32SICStus.zip	2015-01-05	20.0 MB	0
DESDevelWindows32SICStus.zip	2015-01-05	5.8 MB	0
DESDevelSICStus.zip	2015-01-05	2.9 MB	0
ReleaseNotesDES.txt	2015-01-05	3.8 kB	0
Totals: 5 Items		30.7 MB	0

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Get the most trusted enterprise browser

Advanced built-in security helps IT prevent breaches before they happen

Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.

Download Chrome

Recommended Projects

Mangle
Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain...
datalog
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...
SQLAlchemy
SQLAlchemy is the Python SQL toolkit and Object Relational Mapper that gives application developers the full power and flexibility of SQL. SQLAlchemy provides a full suite of well known enterprise-level persistence patterns, designed for efficient and high-performing database access, adapted...
jDREW
jDREW (Java Deductive Reasoning Engine for the Web) is a highly configurable reasoning engine written in Java for definite clause reasoning. Through its diverse APIs, jDREW can be easily embedded into a larger Java system.
FriCAS
FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and differentiation) to abstract algebra. It can plot functions and has integrated help system.

Datalog Educational System Files

Deductive Database with Datalog, SQL, RA, TRC, DRC

Get an email when there's a new version of Datalog Educational System