AI.ELLIE@MCC.COM.UUCP (06/01/87)
Madhur Kohli
Department of Computer Science
University of Maryland
June 4 - 10:30am
ACA Conference Room 2.806
Controlling the Execution of Logic Programs
The performance of a logic programming system is dictated by the
control strategy of its problem solving component. This talk
describes a methodology for the specification and utilization of
control knowledge for logic programs.
We describe a control specification system developed as an
experimental tool for the study of control issues in problem
solving. Analysis of the control behavior of several sequential
problem solvers and PRISM, a parallel logic programming system, is
used to identify parameters to express control decisions and points
at which they apply. These results form the basis for the
definition of a control language to specify the control behavior of
problem solvers. The language is expressive enough to specify many
general and specialized top-down execution schemes for both
sequential and parallel problem solvers. A compiler has been
developed to generate an interpreter which implements the specified
control strategy. Experimental results show that the generated
interpreters provide an order of magnitude improvement over
meta-interpretation of the control specification.
Madhur Kohli
June 4 - 10:30
ACA Conference Room 2.806