Inheritance as combination of horn clause theories