A declarative language for robot vision

ProVision is a computer language, currently under development, for use as a development tool in automated visual inspection and robot vision. It is a superset of PROLOG, and its syntax is the same as that of PROLOG. It uses the same control mechanisms namely backtracking and recursion. It also provides facilities for the matching and unification of general data items, exactly as PROLOG does. There is a rich repertoire of image processing facilities in ProVision. The control of electromechanical devices, such as lamps, lenses, cameras, (X,Y)-tables etc. follows the same convention as image processing. There is a large library of predicates for medium and high level image processing. It is currently implemented within a powerful environment, which provides pull-down menus. Applications are discussed, and a sample program is given