Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!ames!sdcsvax!ucbvax!csd.kaist.ac.kr!dwshin
From: dwshin@csd.kaist.ac.kr (Dongwook Shin)
Newsgroups: comp.ai.digest
Subject: Seminar - AND-Parallelism of Logic Programming (KAIST)
Message-ID: <8705090648.AA06376@csd.kaist.ac.kr>
Date: Mon, 18-May-87 01:47:13 EDT
Article-I.D.: csd.8705090648.AA06376
Posted: Mon May 18 01:47:13 1987
Date-Received: Mon, 18-May-87 05:37:48 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 25
Approved: ailist@stripe.sri.com



                           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.