---
title: "A Vectorization Technique for Prolog without Explosion"
authors:
  - "Yasusi Kanada"
  - "Masahiro Sugaya"
doi: ""
url: "https://ijcai.org/proceedings/1989/24"
pdf: "https://ijcai.org/proceedings/1989/0024.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "151-155"
track: "Parallel and Distributed Processing"
keywords:
---

# A Vectorization Technique for Prolog without Explosion

Yasusi Kanada, Masahiro Sugaya

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, pages 151-155.

## Abstract

This paper describes a technique for executing logic programming languages such as Pr<;>log for the Cray-type vector processors. This technique, which we call the parallel backtracking technique, enables a kind of or-parallel execution without process explosion. The compiled intermediate language code for the parallel backtracking execution is the same as the code presented in our previous paper . The compilation is based on a kind of program transformation called or-vectorization. However, the interpretation of the intermediate code is changed to enable the parallel backtracking execution. An execution simulator and a compiler prototype were developed. We have not yet implemented this technique to our native code execution system, but we expect a performance of eight times or more higher than scalar processing upon implementation.