Compartimentalized connection graphs for concurrent logic programming - Powers, David M. W.