1. english Language Programs. Language for testing avionics equipment, on Varian 620/i. "Multiband Automatic test equipment - A Computer Controlled Checkout System", T. Kuroda et al, Proc SJCC, 38 (1971). 2. equational Logic Programming. A semantically pure, fully ef="module.php?name=Lexikon&file=search&eid=1&query=lazy">lazy language by M.J. O' Donnell ell@cs.uchicago.edu>. Current version: 4.2. {Sun and DeC versions (ftp://gargoyle.uchicago.edu/pub/equations/eq4.2.tar.Z)}. ["equational Logic as a Programming Language", M.J. O' Donnell, MIT Press 1985].