Hilog
A higher-order logic programming language. An extension of normal logic programming where predicate symbols may be variable or structured. This allows unification to be performed on the predicate symbols themselves in addition to their arguments.
(ftp://sbcs.sunysb.edu/SB-hilog).
[“HiLog as a Platform for Database Languages (Or Why Predicate Calculus is Not Enough)”, W. Chen et al, Stony Brook, 2nd Intl Workshop on Database Prog Langs, Morgan Kaufmann, 1989].
(1994-12-07)
Read Also:
- Hilt
[hilt] /hɪlt/ noun 1. the handle of a sword or dagger. 2. the handle of any weapon or tool. verb (used with object) 3. to furnish with a hilt. Idioms 4. to the hilt, to the maximum extent or degree; completely; fully: to play the role to the hilt. Also, up to the hilt. /hɪlt/ […]
- Hilted
[hilt] /hɪlt/ noun 1. the handle of a sword or dagger. 2. the handle of any weapon or tool. verb (used with object) 3. to furnish with a hilt. Idioms 4. to the hilt, to the maximum extent or degree; completely; fully: to play the role to the hilt. Also, up to the hilt. /hɪlt/ […]
- Hilting
[hilt] /hɪlt/ noun 1. the handle of a sword or dagger. 2. the handle of any weapon or tool. verb (used with object) 3. to furnish with a hilt. Idioms 4. to the hilt, to the maximum extent or degree; completely; fully: to play the role to the hilt. Also, up to the hilt. /hɪlt/ […]
- Hilton
[hil-tn] /ˈhɪl tn/ noun 1. Conrad (Nicholson) 1887–1979, U.S. hotel owner and developer. 2. James, 1900–54, English novelist. /ˈhɪltən/ noun 1. Walter. died 1396, English mystical writer: author of The Scale of Perfection
- Hilum
[hahy-luh m] /ˈhaɪ ləm/ noun, plural hila [hahy-luh] /ˈhaɪ lə/ (Show IPA) 1. Botany. 2. Mycology. a mark or scar on a spore at the point of attachment to the spore-bearing structure. 3. Anatomy. the region at which the vessels, nerves, etc., enter or emerge from a part. /ˈhaɪləm/ noun (pl) -la (-lə) 1. (botany) […]