Title :
A high-order logic programming framework for complex objects reasoning
Author_Institution :
Dept. of Comput. Sci., Tsing-Hua Univ., Beijing, China
Abstract :
The theoretical foundations of a strongly typed high-order rule language, HILOG, are developed by introducing appropriate mathematical concepts to reformulate the logic programming (LP) notions. This work is significant for enhancing the LP capability to support object orientation, ADT, and knowledge representation with type hierarchies and for applying LP and deductive database techniques to practical applications involving complex objects
Keywords :
logic programming; ADT; HILOG; complex objects reasoning; deductive database; high-order logic programming framework; knowledge representation; object orientation; strongly typed high-order rule language; Computer science; Connectors; Deductive databases; High level languages; Knowledge representation; Level set; Logic programming; Mathematical programming; Object oriented modeling;
Conference_Titel :
Computer Software and Applications Conference, 1989. COMPSAC 89., Proceedings of the 13th Annual International
Conference_Location :
Orlando, FL
Print_ISBN :
0-8186-1964-3
DOI :
10.1109/CMPSAC.1989.65170
