Title :
Logic programming with goal-directed search
Author :
Darlington, Jared L.
Author_Institution :
Gesellschaft fuer Math. und Datenverarbeitung, St. Augustin, Germany
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;
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
DOI :
10.1109/JCIT.1990.128302