Computational improvements in Prolog applications by predicate variable pointers | IEEE Journals & Magazine | IEEE Xplore