MFC-PL2-Prolog.pdf