Backtracking in independent and-parallel implementations of logic programming languages | IEEE Journals & Magazine | IEEE Xplore