Deductive language

A deductive language is a computer programming language in which the program is a collection of predicates ('facts') and rules that connect them… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1991-2000
012319912000

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2000
2000
This paper describes the design and implementation of DPA: a deductive language for embroidery pattern assembling. DPAL is… (More)
Is this relevant?
1997
1997
In the classical model of database transactions, large transactions cannot be built out of smaller ones. Instead, transactions… (More)
Is this relevant?
1996
1996
Static analysis of declarative languages deals with the detection, at compile time, of program properties that can be used to… (More)
  • figure 1
Is this relevant?
1995
1995
The ROCK & ROLL database system cleanly integrates deductive and object-oriented capabilities by deening an imperative… (More)
Is this relevant?
1994
1994
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1993
1993
The IsaLog: model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The… (More)
Is this relevant?
1993
1993
IsaLog(:) is a research activity aimed at developing a framework that integrates deductive and object-oriented features. The data… (More)
Is this relevant?
1993
1993
present in M if and only if there is an applicable method implementation P m;c with respect to M meth and o:m@ ~ t ! s, such that… (More)
Is this relevant?
1991
1991
  • Yves Caseau
  • Annals of Mathematics and Artificial Intelligence
  • 1991
We propose a logic for objects that captures the knowledge represented with the LAURE object-oriented language. The work is… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1991
1991
Integrating value-oriented and object-oriented data models is one of the active research directions in database field. Current… (More)
  • figure 1
Is this relevant?