HOL


Also found in: Dictionary, Acronyms, Wikipedia.

HOL

Higher Order Logic. A proof-generating system for higher order logic based on LCF. Implementations include HOL-88 and HOL-90.

ftp://ted.cs.uidaho.edu/pub/hol. Mailing list: info-hol@ted.cs.uidaho.edu.

["HOL: A Machine Oriented Formulation of Higher Order Logic", M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985)].

["Introduction to HOL", M.J.C. Gordon et al, Cambridge U Press 1993 ISBN 0-521-441897].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
Then this month, as the extremist group collapsed, she surrendered with her son to US-backed forces and landed in the sprawling Al Hol tent camp, which has swollen to the breaking point with the human remnants of the so-called caliphate.
Similarly, the HOL, sole distributor for Gulf Oil, has been operating since 1964 and has the ISO certification (9001-2008).
He said their partnership with HOL will assist it in reinforcing their distribution network which is a key driver of growth in the lubricant industry.
A traves de la PCR anidada se identifico un mayor numero de animales positivos a VLB en la raza Holstein (33/59), para un total de 56,0% de prevalencia; por su parte, el numero de animales positivos a VLB en el cruce BON x HOL fue menor (6/25), lo cual correspondio al 24% de prevalencia (Figura 1).
The dating of the Chan Hol remains are right at the early limit of other recent findings.
However, he was discovered after his Obama painting went viral on HoL's Facebook page, This is one of my best paintings so far in which I have drawn family portrait of American president Obama.
Die drama ontgin al die verskillende moontlike betekenisse van die titel: "hol" as 'n sinoniem vir hardloop, veral in die sin van "weghol" (Liesbet probeer weghardloop van haar gewig, maar ook haar verlede), ook "poephol" (19)--so noem die kritiese Liesbet haarself.
With the acquisition of HOL, Vodafone makes a key step in its plan to unify its communication strategies in Greenec, the company stated earlier this year.
Hol Chan Reef Resort and Villas wishes to express their gratitude to everyone who has participated in the photo contest for April.
The holonomy projection hol: G [??] Aut(G) [right arrow] Aut(G) sends g to [k.sub.g].
The makers of Harvest of Loneliness (HOL) would like to induct the Bracero Program, 1942-1964 into that Hall of Shame, where citizens come to be outraged by what no one any longer defends.
A recent discovery from the Chan Hol cave in Quintana Roo has yielded a skeleton that is more than 10,000 years old, making it one of the earliest human skeletons found in the Americas.