Browsing Dept. of Computer Science by Author "Wood, P T"
Now showing items 1-1 of 1
-
Bottom-up evaluation of HiLog in the context of deductive database systems
Luppnow, Andrew James (University of Cape TownFaculty of ScienceDepartment of Computer Science, 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 ...