Intellectics and Computational Logic