Agents' reasoning using TIL-Script and Prolog

The paper introduces a method of transition from Transparent Intensional Logic (TIL) into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. Agents communicate in the TIL-Script language, a computational variant of the expressive TIL system, which serves as a content language of agents' messaging. However, since a great expressive power is inversely proportional to an easy implementation of a suitable automatic deductive system, we specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language. Moreover, due to the weaker expressivity of Prolog we have to build up a TIL functional overlay that makes it possible to realize the reverse transition from Prolog into TIL in a near to equivalent way.