DocumentCode
2174774
Title
A high-order logic programming framework for complex objects reasoning
Author
Chen, Qiming
Author_Institution
Dept. of Comput. Sci., Tsing-Hua Univ., Beijing, China
fYear
1989
fDate
20-22 Sep 1989
Firstpage
711
Lastpage
718
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CMPSAC.1989.65170
Filename
65170
Link To Document