Controlling the execution of logic programs
This dissertation develops a methodology for the specification and utilization of control knowledge in logic programs. The control behavior of logic-programming systems has been analyzed to identify parameters that influence control decisions and the points at which they apply. Based on this analysis, a language for specifying control strategies for the execution of logic programs has been defined. The objects in the domain of this meta-level control specification language are the assertions and axioms of the logic language. The primitives of the language support the manipulation of control strategies for object level programs, by providing for the interrogation and modification of the run-time structures of the logic program interpreter. The control-specification facilities provided are expressive enough to specify many general and specialized top-down execution schemes. The language also supports the control of both AND and OR parallelism. Several problem solving strategies have been specified in this language. An abstract machine that supports the flexible control specification schemes was designed. The machine represents the high level design of a logic programming architecture supporting programmable control.
- Research Organization:
- Maryland Univ., College Park (USA)
- OSTI ID:
- 6987628
- Country of Publication:
- United States
- Language:
- English
Similar Records
A data-driven parallel execution model and architecture for logic programs
The Chare-Kernel base languages