Prolog project for corresponding course