修复BUG：
1. _p(_MIN) :- not p(_MIN)       _MIN -> _Y
2. #domain a(MIN_a)  删除