Abstract machine LORAP II and experiments in process grain size determination for parallel execution of logic programs | IEEE Conference Publication | IEEE Xplore