Assumptions and Abduction in Prolog

Henning Christiansen 0001, Verónica Dahl. Assumptions and Abduction in Prolog. In Susana Muñoz-Hernández, José Manuél Gómez-Pérez, editors, Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004. 2004.

Abstract

Abstract is missing.