H ? « »

Language peer sets for Aquarius Prolog:
United States
United States/1989
Designed 1989
1980s languages
Fifth generation
Late Cold War
Genus Horn clause
String and List Processing
Horn clause
Data representation
Horn clause/1989
Context-based /1989
Data representation/1989
Horn clause/United States
Context-based /United States
Data representation/United States
String and List Processing
String and List Processing/1989
String and List Processing/us

Aquarius Prolog(ID:5494/aqu002)

High performance Prolog 

alternate simple view
Country: United States
Designed 1989
Genus: Horn clause
Sammet category: String and List Processing

High performance portable Prolog

Aquarius Project at UC Berkeley, the Advanced Computer Architecture Laboratory at the USC, and at DEC's Paris Research Laboratory.

Van Roy's thesis stated:

"A program written in Prolog can execute as efficiently as its imple­mentation in an imperative language. This relies on the development of four principles:
(1) An instruction set suitable for optimization.
(2) Techniques to exploit the determinism in programs.
(3) Techniques to specialize unification.
(4) A global dataflow analysis."

Used an "Extended Definite Clause Grammar" (EDCG) preprocessor

Related languages
Prolog Aquarius Prolog   Implementation

  • Van Roy, Peter (1989) Van Roy, Peter "A Useful Extension to Prolog's Definite Clause Grammar Notation" ps
          in [SIGPLAN] (1989) SIGPLAN Notices 24(11) November 1989
  • Van Roy, Peter (1990) Van Roy, Peter "Extended DCG Notation: A Tool for Applicative Programming in Prolog", Technical Report UCB/CSD 90/583, Computer Science Division, UC Berkeley, July 1990.
          in [SIGPLAN] (1989) SIGPLAN Notices 24(11) November 1989
  • Van Roy, Peter (1991) Van Roy, Peter "Can Logic Programming Execute as Fast as Imperative Programming?" PhD Dissertation at USC 1991 Online copy
          in [SIGPLAN] (1989) SIGPLAN Notices 24(11) November 1989
  • Van Roy, Peter; Despain, Alvin M. (1992) Van Roy, Peter; Despain, Alvin M. "High-Performance Logic Programming with the Aquarius Prolog Compiler" pp54-68
          in (1992) IEEE Computer 25(1) (1992)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder