One of the objectives of the Japanese Fifth Generation Computer Project is to develop computer systems whose kernel languages are based on logic programming rather than on the conventional imperative languages which have been in general use until now. This has led to conjecture about the problem of the large base of existing software which is implemented in imperative languages. To this end a study has been conducted into the possibility of translating programs written in Pascal-S into Prolog. Because of the radically different control and data structures in these two languages the translation process is not straightforward. The problems associated with this process are discussed and its performance assessed.
|Number of pages
|Published - Jun 1986