The abbreviation HOL is a programming language procedure-oriented, such as BASIC, etc., Pascal, or LOGO.