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