Building a Robot on Campus: Hands-On with Logic