This work presents how persistent predicates have been included in the in-memory deductive system DES by relying on external SQL database management systems. We introduce how persistence is supported from a user-point of view and the possible applications the system opens up, as the deductive expressive power is projected to relational databases. Also, we describe how it is possible to intermix...

We present the Orlog deductive object oriented database system prototype The implementation of the system relies on the idea of reducing inheritance to deduction and giving a relational interpretation to every Orlog database The prototype is a user transparent front end for coral deductive database system and provides a full edgedprogrammingenvironment in Orlog

The ROCK & ROLL database system cleanly integrates deductive and object-oriented capabilities by deening an imperative programming language , ROCK, and a declarative, deductive language, ROLL, over a common object-oriented (OO) data model. Existing techniques for evaluation and optimization of deductive languages fail to address key requirements imposed by ROLL such as: strict typing; placement...

in this note first we define the notions of fuzzy positive implicativehyper bck-ideals of types 1,2,3 and 4. then we prove some theorems whichcharacterize the above notions according to the level subsets. also we obtainthe relationships among these notions, fuzzy (strong, weak, reflexive) hyperbck-ideals and fuzzy positive implicative hyper bck-ideals of types 5,6,7and 8. then, we define the no...

This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project, which is aimed at bridging the gap between (a) OO software engineering methods and tools and (b) deductive verification. The KeY system consists of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.

In this paper we introduce a deductive planning system currently being develop ed as the kernel of an intelligent help system. It consists of a deductive planner and a plan reuse component and with that provides planning from first as well as planning from second principles . Both components rely upon an interval-based temporal logic. The deductive formalisms realizing plan formation from forma...

Over the course of the past decade, contradictory claims have been made regarding the neural bases of deductive reasoning. Researchers have been puzzled by apparent inconsistencies in the literature. Some have even questioned the effectiveness of the methodology used to study the neural bases of deductive reasoning. However, the idea that neuroimaging findings are inconsistent is not based on a...