A Parallel Lisp Language PaiLisp and Its Kernel Specification

Parallel Lisp languages have been proposed and developed for parallel programming of Lisp programs in Artificial Intelligence and Symbolic Computing. PaiLisp is a parallel Lisp language based on a shared-memory parallel architecture. PaiLisp has been designed so as to include 1. parallel constructs such as future and pcall of Multilisp, and exlambda for mutual exclusion and spawn and par for process creation 2. parallelized Lisp constructs such as parallel conditional expressions, parallel mapcar, parallel and/or, etc.