Q-systems. A. Colmerauer, 1969. A rewrite system with one-way
unification, used for English-French translation. It led to Prolog. "The
Birth of Prolog" A. Colmerauer et al, SIGPLAN Notices 28(3):37-52 (March
1993).
Comments, Experience, Additions
Next Language: Q`NIAL