علامت اختصاری HOL ، یک زبان برنامه‌نویسی رویّه‌گرا مانند BASIC ، پاسکال ، یا LOGO است.