COMBINING MANY-SORTED LOGIC AND OBJECT-ORIENTED PROGRAMMING

The logic language based on many-sorted logic, EPOS, can support objec t-oriented concepts such as classes and inheritance. Classes can be tr eated as sorts and inheritance as many-sorted unification. However, th ere are some problems for supporting object-oriented programming, name ly, the inconsistency in inheritance, difficulty in exception handling , restricted inheritance hierarchy, etc. To solve these problems, we d esign an object-oriented many-sorted logic language TRY and provide tr anslation techniques by which a TRY program is translated into an EPOS program.