@inproceedings{9be5a055cc5348bdb52ccf2114b24822,
title = "Architecture and evaluation of a Reduction-based Parallel Inference Machine: PIM-R",
abstract = "This paper proposes a Reduction-based Parallel Inference Machine: PIM-R and describes the architecture and its evaluation using two kinds of software simulators. Target languages of PIM-R are Prolog and Concurrent Prolog. PIM-R executes Prolog programs in OR parallel and Concurrent Prolog programs in AND parallel. The simulation results show that PIM-R is able to exploit the parallelism in Prolog and Concurrent Prolog programs.",
author = "Rikio Onai and Hajime Shimizu and Kanae Masuda and Akira Matsumoto and Moritoshi Aso",
year = "1986",
month = jan,
day = "1",
doi = "10.1007/3-540-16479-0_1",
language = "English",
isbn = "9783540164791",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "1--12",
booktitle = "Logic Programming '85 - Proceedings of the 4th Conference",
note = "4th International Conference on Logic Programming, 1985 ; Conference date: 01-07-1985 Through 03-07-1985",
}