DocumentCode :
2763675
Title :
Logic programming with goal-directed search
Author :
Darlington, Jared L.
Author_Institution :
Gesellschaft fuer Math. und Datenverarbeitung, St. Augustin, Germany
fYear :
1990
fDate :
22-25 Oct 1990
Firstpage :
336
Lastpage :
344
Abstract :
A goal-directed logic programming system is presented, and an experimental implementation is described. It differs from other logic programming languages in that a goal that has just failed has certain of its variables unbound and is immediately re-evaluated. This control mechanism gives priority to the failed goal until it either succeeds or fails for good. The modifications required are considerable since they require freeing the control structure of logic programming from its emphasis on backtracking and on the order of unbinding and rebinding variables that it entails. The backtrack mechanisms normal to logic programming lack goal direction and are therefore not part of the system. Examples are given to show the advantages of the system presented over other approaches to logic programming
Keywords :
logic programming; search problems; backtracking; control mechanism; goal-directed search; logic programming system; Computational modeling; Deductive databases; Delay; Dynamic programming; Information retrieval; Intelligent systems; Logic programming; Proposals; Specification languages; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9)
Conference_Location :
Jerusalem
Print_ISBN :
0-8186-2078-1
Type :
conf
DOI :
10.1109/JCIT.1990.128302
Filename :
128302
Link To Document :
بازگشت