The Datalog program is an important class of deductive database and has been extended in many different directions. This paper focuses on extending the Datalog program by combining Datalog program with description logic ALC. We suggest the semantics and propose a query evaluation method for this program class.