An OR-parallel and restricted AND-parallel nonbacktracking Prolog execution model | IEEE Conference Publication | IEEE Xplore