A parallel Prolog execution model: theoretical approach and experimental results | IEEE Conference Publication | IEEE Xplore