1. A two-dimensional piCtorial query language. ["PiCtorial Information Systems", S.K. Chang et al eds, Springer 1980]. [Q-systems. A. Colmerauer, 1969]. 2. 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]. (2003-12-25)