High-speed CAM-based architecture for a prolog machine (ASCA)
- NTT LSI Labs., Kanagawa, 243-01 (JP)
A content addressable memory (CAM)-based machine architecture is proposed for a high-speed Prolog machine. This Prolog machine attempts to speed up the total Prolog execution performance by using a hierarchical pipelined scheme and a CAM-based backtracking scheme. The hierarchical pipelined scheme reduces the total number of Prolog execution steps to half of that using the conventional method. The CAM-based backtracking is efficiently and quickly achieved by using our CAM's sophisticated garbage collection function, which eliminates the need for stacks and additional operation cycles. In this machine, all Prolog execution can be simply controlled by a semantic information ''inference depth'' without any address handling by storing all working information, binding and control information, in CAM's. This machine attains a performance of 100 KLIPS (kilo logical inference per second) on the deterministic append program in the interpretive mode, and also attains high performance on the nondeterministic program. All Prolog programs in artificial intelligence application areas can run at high performance on this machine. This high-speed Prolog machine architecture promises to be an important step towards the realization of a high-performance artificial intelligence system.
- OSTI ID:
- 6476434
- Journal Information:
- IEEE Trans. Comput.; (United States), Journal Name: IEEE Trans. Comput.; (United States) Vol. 37:11; ISSN ITCOB
- Country of Publication:
- United States
- Language:
- English
Similar Records
A high performance architecture for prolog
High performance execution of Prolog programs based on a Static Data Dependency Analysis