Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP). which is based on a defeasible argumentation formalism. https://spencertifieders.shop/product-category/video8/