ELP

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

lazy language by M.J. O'Donnell [email protected].

Current version: 4.2.

Sun and DEC versions.

["Equational Logic as a Programming Language", M.J. O'Donnell,

MIT Press 1985].