What is This Research?
The aim of this research was to establish methods of vector processing of logic programming languages and/or symbolic vector processing. The main target machines were vector supercomputers, such as Cray X-MP or Hitachi S-820. However, this research also aimed symbolic supercomputing on SIMD parallel processors, such as CM-1.
Keywords: Vector processing, Logic programming language, Vector symbol processing, Vectorization of symbol processing, Vectorized symbol processing, Parallel symbol processing, Supercomputing, Super symbol processing, Parallel processing
