Q-system(ID:460/qsy001)

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 "The Birth of Prolog" pp37-52 view details
          in [ACM SIGPLAN] SIGPLAN Notices 28(03) March 1993 The second ACM SIGPLAN conference on History of programming languages (HOPL II) view details