Resolution of Problems with Computational Logic Course