A language based on Euclid, never implemented.

["Theseus - A Programming Language for Relational Databases", J.E. Shopiro, ACM Trans Database Sys 4(4):493-517, Mar 1979].