Resolution of Problems in the Built Environment with Computational Logic Course