Пролог, подразумевающий отрицательный предикат

Как мне написать в PROLOG следующее правило: если P, то не Q

Я понимаю, что вы можете легко написать если P, то Q предикаты как q (X): - p (X) , но как вы можете отрицать предикат q / 1 ? Я не хочу определять новые предикаты с другой семантикой, например non_q / 1 .