Acronym of HOL


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

Back