Improvements to the control techniques of sequential inference machines - from instructions to hardware organization

DOI10.1007/BF02943409zbMath0725.68011OpenAlexW2994008925MaRDI QIDQ2277817

Dongsheng Xing, Hancheng Xing, Chunlin Li

Publication date: 1991

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943409

zbMATH Keywords

control instructionsProlog executionSequential Prolog Engine

Mathematics Subject Classification ID

Logic programming (68N17) General theory of computer systems (68M01)

Cites Work

• The Fixed Divisor of a Polynomial

This page was built for publication: Improvements to the control techniques of sequential inference machines - from instructions to hardware organization