Source : Free On-Line Dictionary of Computing

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