Abstract: Various ways of introducing deductive capability into a database system through the use of logic are examined. The inference mechanism of Prolog and its use in deductive databases are ...

Abstract: There are two separate approaches to incorporate uncertainty treatment into deductive databases/logic programming: disjunctive deductive databases allows disjunctive forms [2] while various ...

How logical and declarative programming could answer a complex question of personal Graphs Personal graphs are emerging as we shift heavy enterprise technologies to more portable and smaller user ...

An illustration of a magnifying glass. An illustration of a magnifying glass.

A line drawing of the Internet Archive headquarters building façade. An illustration of a magnifying glass. An illustration of a magnifying glass.

You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.