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

nel_h2
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
Start Free
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