HOL

From Wikipedia, the free encyclopedia

HOL can refer to any of the following:

• House of Lords - the upper house of the Parliament of the United Kingdom of Great Britain and Northern Ireland
• HOL is an abbreviation for higher-order language, aka, High-level programming language, such as Fortran, COBOL, ALGOL, PL/1, or SNOBOL to distinguish such programming languages from assembly language.
• HOL is an abbreviation for higher-order logic, a branch of symbolic logic in which statements can be quantified over objects, predicates, predicates of predicates etc.
• There is a theorem prover called HOL; see HOL theorem prover.
• Hol is a municipality in the county of Buskerud, Norway.
• The Hall of Light, an Amiga games database.
• The former IOC country-code for the Netherlands.
• The abbreviation for Greek Internet Service Provider "Hellas On-Line", which offers broadband and dial-up internet services.
• The role-playing game Hol (role-playing game) is often shorted as Hol.