A Vectorization Technique for Prolog without Explosion

Kanada, Yasusi; Sugaya, Masahiro

A Vectorization Technique for Prolog without Explosion

Download BibTeX Cite

Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Parallel and Distributed Processing. 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.

Yasusi Kanada, and Masahiro Sugaya. 1989. A Vectorization Technique for Prolog without Explosion. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. IJCAI, 151–155. https://ijcai.org/proceedings/1989/24

@inproceedings{ijcai1989p24,
  title     = {A Vectorization Technique for Prolog without Explosion},
  author    = {Kanada, Yasusi and Sugaya, Masahiro},
  booktitle = {Proceedings of the Eleventh International Joint Conference on
               Artificial Intelligence, {IJCAI-89}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {N. S. Sridharan},
  pages     = {151--155},
  year      = {1989},
  month     = {8},
  note      = {Parallel and Distributed Processing},
  url       = {https://ijcai.org/proceedings/1989/24},
}

TY  - CPAPER
TI  - A Vectorization Technique for Prolog without Explosion
AU  - Kanada, Yasusi
AU  - Sugaya, Masahiro
T2  - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1989
SP  - 151
EP  - 155
UR  - https://ijcai.org/proceedings/1989/24
ER  -