Knowledge-inference system implemented for the knowledge systems course.