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://proozya.shop/product-category/underwear/