Search algorithm for an inference machine: Software and hardware

Vl Ivanov, V. Beiu

Research output: Contribution to journalArticlepeer-review


After a short discussion of the data structures used in a PROLOG-like inference machine, the paper presents an optimized algorithm for binding search. The software solution was designed for a PROLOG interpreter running on the RSX-11M operating system on PDP-11 compatible computers. It was tested for efficiency and the results are further discussed. The hardware solution is based on a dedicated smart-memory implemented with two building blocks: memory cells (MCs) interconnected one to another as an L-machine and an address register (AR). Estimation of area and time are presented.

Original languageEnglish
Pages (from-to)83-96
Number of pages14
JournalBuletinul Institutului Politehnic Bucuresti, Seria Automatica-Calculatore
Publication statusPublished - 1988
Externally publishedYes

ASJC Scopus subject areas

  • General Engineering


Dive into the research topics of 'Search algorithm for an inference machine: Software and hardware'. Together they form a unique fingerprint.

Cite this