مخفف HOL
(High Order Language)
علامت اختصاری HOL ، یک زبان برنامهنویسی رویّهگرا مانند BASIC ، پاسکال ، یا LOGO است.
