Integrating logic databases and graphic for CAD/CAM applications

Research results are presented regarding the integration of a prototype logic database system EDBLOG and a graphical system PHOGS (a subset of the PHIGS graphic standard that is especially suited for microcomputers), to obtain a logical environment to handle CAD/CAM applications. The aim was to utilize a logic approach in an application area in which deduction and integrity checking seem to promise a great enhancement. A proposal is presented for a logical reconstruction of the main features of graphic standards and the integration with EDBLOG to provide a logic environment for graphics.