To improve the execution speed of logic programs, exploiting parallelism has proved promising. The paper presents a scheme supporting Restricted AND-parallelism improved over a previous scheme by exploiting more parallelism. The scheme is based on dataflow computation and implemented in a non-shared execution model, and thus taking advantages of distributed binding results. Comparison with the previous scheme is discussed and some examples given
Published in:
TENCON '93. Proceedings. Computer, Communication, Control and Power Engineering.1993 IEEE Region 10 Conference on
Date of Conference: 19-21 Oct 1993