What does HOL mean? High Order Language The abbreviation HOL is a programming language procedure-oriented, such as BASIC, etc., Pascal, or LOGO. See the full article