Unification of the predicate line in the logic-syntactic recognition of raster images

Abstract

A logic-syntactic method of object recognition on images is proposed that is based on logical inference with use of the structural description of objects. The search for boundaries of objects on the image is performed as unification of the built-in predicate line with account of the set of constraints specified by the description.