Acronym of HOL
( High Order Language )
The abbreviation HOL is a programming language procedure-oriented, such as BASIC,
etc
., Pascal,
or
LOGO.
Back