[comp.ai.digest] Seminar - AND-Parallelism of Logic Programming

dwshin@csd.kaist.ac.kr (Dongwook Shin) (05/18/87)

                           KAIST CS  SEMINAR

                     AND-Parallelism of Logic Programming 

                             K. M. Choe 
	                choe@cosmos.kaist.ac.kr
		             11 May, 4:00 - 	

  Professor Choe will present a seminar on AND_Parallelism of logic
  programming. He is an assistant professor at KAIST. The abstract of 
  this seminar is described below.


			    ABSTRACT

 In this seminar, some of the speaker's recent contributions to 
the AND-Parallelism of logic programming are to be presented.
First, a brief explanation on the AND/OR-Parallelism is to be 
given. And then (1) the incompleteness of Conery's backtracking
model and it's solution, (2) the increased efficiency in combining 
the "fork" and "join" scheme, (3) the definitions and the efficient 
handling multiple failures, and (4) the multiple backtrackings in general 
case are to be described in sequence.