This paper introduces a temporal deductive database system featuring a logic programming language and an algebraic front-end. The language, called Temporal Datalog, is an extension of Datalog based on a simple temporal logic with two temporal operators, namely first and next. Programs of Temporal Datalog are considered as temporal deductive databases, specifying temporal relationships among dat...

The goal of deductive design is the systematic construction of a system implementation starting from its behavioural specification according to formal, provably correct rules. We use Gofer/Haskell to formulate a functional model of directional, synchronous and deterministic systems with discrete time. The associated algebraic laws are then employed in deductive hardware design of basic combinat...

Formal deductive systems play an important role in computer science, particularly in the areas of logic and semantics of programming languages. They are employed in three different, but obviously related roles. Firstly, they are used to specify logics, type systems, operational semantics and other aspects of languages. Secondly, they form the basis for the implementation of such deductive syste...

This paper presents the declarative extension of the deductive database system LOLA to the object-oriented deductive database system O!-LOLA. The model used for O!-LOLA is \objects as theories", extended by state evolution. O!-LOLA combines logic programming and OO programming in two diierent w ays: First, methods are implemented as logic programs. These methods can be inherited, encapsulated a...

In this paper we discuss how computers can be deployed to support teaching deductive reasoning at university level. These considerations led to the development of the interactive theorem proving assistant and learning environment WinKE. We start out by describing common difficulties in teaching logic and deductive reasoning and thereby justify the need for computer support in that field. We ide...

The representation of complex spatial domains in conventional databases suuers from fragmented representation of object structure , lack of instance-level spatial relationships, and the generation of large combinatoric search spaces in query analysis. The deductive capabilities provided by a deductive database ooer some assistance in solving these problems, in particular by enabling spatial rea...

We present a query language, called the Datalog, for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirable, an alternative method for capturing these two features in Datalog based on the idea of program transformation and compilation is proposed. A reduction technique for Datalog programs to Datalog is discussed. The eleganc...

A comparison of the central processing unit (CPU) time and storage requirements for the parallel and deductive fault simulation techniques is presented. Versions of a parallel and deductive simulator were implemented and the comparison performed on an IBM System/360 Model 67 by simulating representative circuits including shift registers, sequencers, counters, two memory units, and a processor....

We describe a commercial question-answering system that uses AI – specifically, the Cyc system – to support passage retrieval and perform deductive QA, to produce results superior to what each question-answering technique could produce alone.