Dataflow model for handling cut in the LOGFLOW parallel prolog machine | IEEE Conference Publication | IEEE Xplore