Paraconsistent Computational Logic