The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS).

Features

  • Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus query languages
  • Aggregates, nulls, duplicates
  • ODBC connections to relational databases
  • Integrity constraints
  • Types
  • Modes
  • Textual API for pluggin to any sotware development system (Java, .NET, Python, ...)
  • Multiplatform, portable binaries, sources
  • Declarative debuggers and tracers
  • Test case generation
  • Hypothetical Reasoning (Decision Support)
  • Fuzzy reasoning
  • Persistency (Business Intelligence)
  • Distributed computations

Project Samples

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 3.0 (LGPLv3)

Follow Datalog Educational System

Datalog Educational System Web Site

Other Useful Business Software
Outgrown Windows Task Scheduler? Icon
Outgrown Windows Task Scheduler?

Free diagnostic identifies where your workflow is breaking down—with instant analysis of your scheduling environment.

Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
Download Free Tool
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Datalog Educational System!

Additional Project Details

Operating Systems

BSD, Linux, Solaris, Windows

Languages

English

Intended Audience

Education

User Interface

Java Swing, Win32 (MS Windows), X Window System (X11)

Programming Language

Prolog

Database Environment

Other API, Other file-based DBMS

Related Categories

Prolog Front-Ends, Prolog Database Engines Servers

Registered

2004-04-01