description languages makes them ideally suited to translation by logic programming, and the limited domain of information makes it practical to implement a translator which operates on the logical form (the "m
therefore considered in all respects to be illustrative and not restrictive. The scope of the invention is indicated by the appended claims rather than the foregoing description, and all changes which come within the meaning and range of equivalents thereof are intended to be embraced therein. ##...