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]. .