Word:

HiLog

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].
Browse
hill climbing
hill myna
Hill partridge
Hill tit
Hillary
hillbilly
hillbilly music
Hilliness
Hilling
Hillock
hills
Hills of circumdenudation
Hillside
Hilltop
Hilly
Hilo
-- HiLog --
Hilt
Hilted
Hilum
Hilus
Him
Himalaya honeysuckle
Himalaya Mountains
Himalayan
Himalayan cedar
Himalayan lilac
Himalayan rhubarb
Himalayas
Himalayish
Himantoglossum
Himantoglossum hircinum
Himantopus
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy