practice problems for Prolog section of CSE 130 at UCSD