Keywords – inconsistency and Prolog

Jair Minoro Abe, Kazumi Nakamatsu and Bráulio Coelho Ávila