Towards banishing the cut from Prolog | IEEE Journals & Magazine | IEEE Xplore