English Dictionary
◊ HOWL
howl
n 1: a long loud emotional utterance; "he gave a howl of pain";
"howls of laughter"; "their howling had no effect" [syn:
{howling}, {ululation}]
2: the long plaintive cry of a hound or a wolf
3: a loud sustained noise resembling the cry of a hound; "the
howl of the wind made him restless"
v 1: emit long loud cries; "wail in self-pity", "howl with
sorrow" [syn: {ululate}, {wail}, {roar}, {yawl}]
2: cry loudly, as of animals; "The coyotes were howling in the
desert" [syn: {wrawl}, {yammer}, {yowl}]
3: make a loud noise, as of wind, water, or vehicles; "The wind
was howling in the trees"; "The water roared down the
chute" [syn: {roar}]
4: laugh unrestrainedly and heartily [syn: {roar}]
English Computing Dictionary
◊ DID YOU MEAN HOL?
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].