A task scheduling algorithm for parallel logic programming systems | IEEE Conference Publication | IEEE Xplore