H ? « ‹ ← → › »

Language peer sets for Q-system:
Canada↑
Canada/1969↑
Designed 1969 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
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 ↑

Q-system(ID:460/qsy001)

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
References:
  • 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