molamooo/2018s-final-projects

Student teamworks summary repository for USTC FOPL lecture in spring, 2018.

Prolog