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