DocumentCode
2614387
Title
Information caching in the execution of logic programs
Author
Huang, Chih-Hao ; Juang, Jie-Yong
Author_Institution
Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
fYear
1991
fDate
11-13 Sep 1991
Firstpage
288
Lastpage
293
Abstract
A model is proposed that integrates information caching into inference procedure. In addition to success results, failure information is also cached in this model to facilitate back-tracking. A logic system based on this model was implemented. Results of running a set of representative logic programs on the system are reported
Keywords
inference mechanisms; logic programming; backtracking; failure information; inference procedure; information caching; logic programs execution; logic system; model; Computer languages; Computer science; Inference mechanisms; Logic programming; Parallel processing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
Conference_Location
Tokyo
Print_ISBN
0-8186-2152-4
Type
conf
DOI
10.1109/CMPSAC.1991.170191
Filename
170191
Link To Document