Design of Logic-based Intelligent Systems: Truemper/Intelligent Systems