Heuristic prolog: Logic program execution by heuristic search
This paper presents a language and its system called Heuristic Prolog. The language is an extension of the Edinburgh version Prolog for execution of logic programs by heuristic (best-first) search in addition to depth-first search. The user can specify both the nodes in the search tree to be executed concurrently and priority of the nodes by means of a special built-in predicate. Some example programs in Heuristic Prolog are included to show the capability of the language.
KeywordsLogic Program Heuristic Search Search Tree Short Route Goal Point
Unable to display preview. Download preview PDF.
- Boyer RS and Moore JS (1972) The sharing of structure in theorem proving. In: Melzer B, Michie D (eds) Machine Intelligence 7, Edinburgh University Press.Google Scholar
- Clocksin WF and Mellish CS (1981) Programming in Prolog, Springer-Verlag, p279Google Scholar
- Nakamura K (1984a) Associative evaluation of Prolog programs. In: Campbell CA (ed) Implementations of PROLOG, Ellis Horwood.Google Scholar
- Nilson NJ (1971) Problem-Solving Methods in Artificial Intelligence, McGraw-Hill, New York, p255Google Scholar
- Shimura M (1983) Kikai Chinow Ron (Theory of Machine Intelligence), (in Japanese) Shoukoudou Inc, Tokyo, p310Google Scholar