Concurrent Prolog: A Progress Report | IEEE Journals & Magazine | IEEE Xplore