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
DESDevelSICStus.zip	2014-11-07	2.7 MB	0
DESDevelSWI.zip	2014-11-07	2.7 MB	0
DESDevelWindows32SICStus.zip	2014-11-06	5.6 MB	0
DESDevelACIDE0.16Windows32SICStus.zip	2014-11-06	19.8 MB	0
Totals: 4 Items		30.8 MB	0

Other Useful Business Software

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

Level Up Your Cyber Defense with External Threat Management

See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.

Try for Free

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