Search
Now showing items 1-1 of 1
Bottom-up evaluation of HiLog in the context of deductive database systems
(1998)
HiLog is a logic-based language which boasts the expressiveness of a higher-order syntax while retaining the simplicity of a first-order semantics. This work examines the suitability of Horn-clause HiLog as a query language ...