Effective Realization Of Systolic Functions In Logic Programs
Albert C. Chen, Fenfen Shueh, Chuan-Lin Wu · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1988
This paper presents methods to concurrently exploit AND and OR parallelism in logic programs. The execution sequence of the system is driven by the demand to reduce complexity. The concept of environment copying is applied to achieve modularity when OR parallelism is exploited. As a result, multiple independent structures can be dynamically constructed according to the data dependency to solve various systolic algorithms.