1. PreCursor to SQL. ["System R: Relational ApproaCh to Database Management", IBM Res Lab, San Jose, reprinted in Readings in Database Systems]. 2. U Leeds. Theorem prover speCifiCation language. Pattern matChing notation similar to Prolog. Compiled into Lisp. [ProC ICJAI 13]. .