Because the author of DeepForest is not familiar with logic programming, the KL1 codes are very naive in terms of efficiency. The algorithm in DeepForest will be improved in future.
There is no strategy in parallel execution of DeepForest. Although every concurrency is guaranteed in KL1/KLIC, we have no idea for efficient parallel execution.