Welcome to OpenDEN
Custom Search
Deductive Databases
Deductive Database:
A deductive database system is a database system which can make deductions (ie: infer additional rules or facts) based on rules and facts stored in the (deductive) database.Deductive database systems:* Mainly deal with rules and facts.* Use a declarative language (such as prolog) to specify those rules and facts.* Use an inference engine which can deduce new facts and rules from those given.
From:en.wikipedia.org/wiki/Deductive_database
DES
Platform : Win 32, Unix Like
License : Open Source, Free
Appears in these categories : Relational Databases
License : Open Source, Free
Appears in these categories : Relational Databases
The Datalog Educational System (DES) is a free Prolog-based implementation of a basic deductive database with stratified negation which uses Datalog as a query language. The system is implemented on top of Prolog and you can use it from a Prolog interpreter running both on Windows and Unix/Linux. Moreover, Windows, Linux and Unix executables are also provided.
Loading .....
Recently Viewed Categories
Finger Print
Electronics - Electronic Design Automation (EDA)
Operating Systems
Desktops, Themes
Asset Tracking
Recently Viewed Products
