H ? « »

Language peer sets for Q-system:
Designed 1969
1960s languages
Third generation
High Cold War
Genus Horn clause
String and List Processing
Horn clause
Data representation
Horn clause/1969
Context-based /1969
Data representation/1969
Horn clause/Canada
Context-based /Canada
Data representation/Canada
String and List Processing
String and List Processing/1969
String and List Processing/ca


alternate simple view
Country: Canada
Designed 1969
Published: 1969
Genus: Horn clause
Sammet category: String and List Processing

A. Colmerauer, Montral, 1969.

A rewrite system with one-way unification, used for English-French translation.

ref: Hutchins 2001
" At Montreal, research began in 1970 on a syntactic transfer system for English-French translation. The TAUM project (Traduction Automatique de l"Université de Montréal) had two major achievements: firstly, the Q-system formalism for manipulating linguistic strings and trees (later developed as the Prolog programming language), and secondly, the Météo system for translating weather forecasts."

Related languages
Q-system Prolog   Evolution of

  • Colmerauer, A. et al (1993) Colmerauer, A. et al "The Birth of Prolog" pp37-52
          in [HOPL II] (1993) [ACM SIGPLAN] SIGPLAN Notices 28(03) March 1993 The second ACM SIGPLAN conference on History of programming languages (HOPL II)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder