Logic Artificial Intelligence, And Robotics by