Exploiting Unexploited Computing Resources for Computational Logics