Merging the autoview image processing language with prolog

摘要

A new computer language, called provision, is defined. It combines features of both prolog (for artificial intelligence) and autoview (for image processing). Predicates for image processing, controlling cameras, illumination sources, optics, a video multiplexor and simple robotic devices are all integrated with PROLOG2, an extension of standard core prolog. The result is a powerful medium for expressing a wide range of algorithms for the visual control of robots and advanced industrial inspection. Several provision applications (i.e. ‘programs’) are presented.