{"type":"ScholarlyArticle","title":"A Vectorization Technique for Prolog without Explosion","authors":[{"name":"Yasusi Kanada","slug":"yasusi-kanada","given":"Yasusi","family":"Kanada","affiliation":""},{"name":"Masahiro Sugaya","slug":"masahiro-sugaya","given":"Masahiro","family":"Sugaya","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1989/24","pdf":"https://ijcai.org/proceedings/1989/0024.pdf","markdown":"https://ijcai.org/proceedings/1989/24.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/24","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Parallel and Distributed Processing","track":"Parallel and Distributed Processing","number":24,"pages":{"first":151,"last":155},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}