The problem of integrity constraints in a logic database is considered. The integrity constraints are expressed as Horn clauses which are added to the logic program defining the database. The authors propose a method for constructing a modified logic program equivalent to the original program constrained by the integrity conditions. Another method based on a metalevel consistency proof is also discussed and pretended to be more suitable in some cases.