Sharing The Load Of Logic-program Evaluation | IEEE Conference Publication | IEEE Xplore