Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.

Nikolay Pelov, Maurice Bruynooghe

Browse the full LPAR paper archive.