Design of Logic-Based Intelligent Systems