Logic progamming revisited from a classical standpoint [electronic resource] / Eric A. Martin