A Prolog Extension for Handling Negative Knowledge.

Hitoshi Aida Hidehiko Tanaka Tohru Moto-Oka A Prolog Extension for Handling Negative Knowledge. 87-91 1983 1 New Generation Comput. 1 db/journals/ngc/ngc1.html#AidaTM83