Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!cbosgd!ihnp4!homxb!houxm!mhuxt!mhuxm!mhuxo!ulysses!ucbvax!MCC.COM!AI.ELLIE
From: AI.ELLIE@MCC.COM.UUCP
Newsgroups: comp.ai.digest
Subject: Seminar - Controlling Execution of Logic Programs (MCC)
Message-ID: <12307049895.18.AI.ELLIE@MCC.COM>
Date: Mon, 1-Jun-87 12:04:12 EDT
Article-I.D.: MCC.12307049895.18.AI.ELLIE
Posted: Mon Jun  1 12:04:12 1987
Date-Received: Tue, 16-Jun-87 01:18:37 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 33
Approved: ailist@stripe.sri.com


                              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