(7) Parallelization of PROGOL in KL1

This study aims to implement an inductive logic programming system using KL1 and parallelize the system. Specifically, we will parallelize PROGOL, one of the most functional and efficient inductive logic programming systems. We will provide the validity of parallel PROGOL by using it to solve a range of problems, including various benchmark problems of machine learning, knowledge discovery from databases, automatic program synthesis, and knowledge acquisition.