Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping