Contour tracking and corner detection in a logic programming environment | IEEE Journals & Magazine | IEEE Xplore