Add to ORKGThis paper presents PROQUEL, an executable specification language designed for the RUBIS system, an information system development tool. PROQUEL is at the same time a specification language, data manipulation language, and programming language, making it particularly well suited for prototyping database applications. After a brief introduction to the RUBIS system, the functionality and the various advantages of the PROQUEL language are detailed.
Considering ISO 10303 two substandards are defined. Part 11 defines the EXPRESS language [1] whereas...
This Manual corresponds to SICStus Prolog release 2.1. #8 Prolog is a simple but powerful programmin...
This thesis is an investigation into the task of implementing specialized computer application langu...
Prolog, an acronym for Pro-gramming in Log-ic, is a product of artificial intelligence research with...
This paper is an informal introduction to currently distributed version of PROGRES. We will use a si...
Maintenance of large, portable software systems often leads to requirements which cannot be solved b...
Maintenance of large, portable software systems often leads to requirements which cannot be solved b...
This paper illustrates by means of examples the functionality offered by ALGRES: An advanced relatio...
We present a framework to build platform-independent, graphical applications in Prolog, implemented ...
PROTOS-L is an extended logic programming language based on Prolog. The manual describes the PROTOS-...
AbstractWe describe a Prolog-based approach to the development of language processors (such as prepr...
The Cand. Scient. thesis explores the idea of combining languages for specification and experimentat...
The authors present an environment and a methodology for the design and rapid prototyping of data-in...
AbstractLogic programming has great potential for reducing the cost of software development. We argu...
The logic programming language PROLOG is introduced, with an overview of applications around the wor...
Considering ISO 10303 two substandards are defined. Part 11 defines the EXPRESS language [1] whereas...
This Manual corresponds to SICStus Prolog release 2.1. #8 Prolog is a simple but powerful programmin...
This thesis is an investigation into the task of implementing specialized computer application langu...
Prolog, an acronym for Pro-gramming in Log-ic, is a product of artificial intelligence research with...
This paper is an informal introduction to currently distributed version of PROGRES. We will use a si...
Maintenance of large, portable software systems often leads to requirements which cannot be solved b...
Maintenance of large, portable software systems often leads to requirements which cannot be solved b...
This paper illustrates by means of examples the functionality offered by ALGRES: An advanced relatio...
We present a framework to build platform-independent, graphical applications in Prolog, implemented ...
PROTOS-L is an extended logic programming language based on Prolog. The manual describes the PROTOS-...
AbstractWe describe a Prolog-based approach to the development of language processors (such as prepr...
The Cand. Scient. thesis explores the idea of combining languages for specification and experimentat...
The authors present an environment and a methodology for the design and rapid prototyping of data-in...
AbstractLogic programming has great potential for reducing the cost of software development. We argu...
The logic programming language PROLOG is introduced, with an overview of applications around the wor...
Considering ISO 10303 two substandards are defined. Part 11 defines the EXPRESS language [1] whereas...
This Manual corresponds to SICStus Prolog release 2.1. #8 Prolog is a simple but powerful programmin...
This thesis is an investigation into the task of implementing specialized computer application langu...