Date: March 1, 2004

Speaker: Xiaofeng Xiao

Title: Parallel Algorithm for Programming in CLP(SET)

Abstract:

We present the resulting constraint algorithms which are embedded in a
Constraint Logic Programming (CLP) language which provides finite sets -- 
along with basic set-theoretic operations -- as first-class objects of the
language.  We also provide the parallel algorithm for programming in
CLP(SET) which will improve the performance of programming in CLP(SET)
greatly. Analysis of multiple choices, like using MPI or PTHREAD, in the
programming will also be presented.  Further works include improving the
cooperation between robots and designing more efficiency ground-base
missile defence system using the parallel algorithm for programming in
CLP(SET).