Suggest an abbreviation Add this article to your bookmarks Print this article Search for an abbreviation Home pageHOL HOL Code Meaning Language Themes and places HOL High-Order Language In English Programming languages HOL High Order Language In English Programming languages