fixing a bug in the exported prolog rules
fixing a bug in the exported prolog rules

gems-uff/noworkflow,paopao74cn/noworkflow,gems-uff/noworkflow,paopao74cn/noworkflow,paopao74cn/noworkflow,gems-uff/noworkflow,paopao74cn/noworkflow,gems-uff/noworkflow