Using Prolog to learn predicate logic, and using Java to build Badugi AI-agent to compete with classmate.