A pipelined control strategy for inferencing

dc.contributor.author	Kourie, D.G.
dc.contributor.author	Potgieter, A.E.G.
dc.date.accessioned	2026-02-27T10:12:07Z
dc.date.available	2026-02-27T10:12:07Z
dc.date.issued	1989-11-29
dc.identifier.citation	Kourie, D. and Potgieter, A. 1989. A pipelined control strategy for inferencing. In: Kritzinger, P. (Ed.) 1989. Proceedings of the 5th Southern African Computer Symposium, 1989. Cape Town: SAICS, pp. 49-59.	en_US
dc.identifier.uri	https://ir.unisa.ac.za/handle/10500/32203
dc.description	Programming language	en_US
dc.description.abstract	The task of deriving a solution to a goal from a Hom clause database is seen in terms of finding a solution tree as a subtree of an and/or tree. The way in which various well-known control strategies derive such solutions is discussed in terms of a generalised algorithm based on the and/or tree model. These approaches are contrasted with a pipelined control strategy proposed in the paper. A prototype pipelined inferencing system implemented on INMOS transputers is discussed and future research directions are mentioned.	en_US
dc.language.iso	en	en_US
dc.publisher	SAICS	en_US
dc.subject	Logic programming	en_US
dc.subject	Parallelism	en_US
dc.subject	Pipelining	en_US
dc.subject	Transputers	en_US
dc.title	A pipelined control strategy for inferencing	en_US
dc.type	Book chapter	en_US