Implementation in Pascal: Translation of Prolog into Pascal

摘要

This thesis tries sto find a mapping algorithm between Prolog and Pascal languages. For this purpose, a small subset of Prolog is chosen and translated into Pascal code. Also, the concept of logic programming and its practical application in the programming language Prolog, are discussed. The reader is expected to be familiar with Pascal and Prolog. (Author)