A Knowledge-Based System for Locating Missing High Cards in Bridge