An Overview of Current Sequential Inference Machine Projects

Abstract

In this article an overview is given of the actual situation in the research of sequential inference machines. The article tries to find the more general trends in the research and in no way claims to be complete. First: a number of machine projects are briefly discussed thereafter some conclusion from the comparison of the different projects is presented.

Indexing terms:

• Inference machine
• Logic programming
• Machine architecture