Refal on Server Side

Abstract

This work is devoted to the description of the project of updating the technology of algorithmic language application created in the USSR in the 60s of the XX century by V. F. Turchin. The language was originally intended for various logical transformations primarily of text material. In practice, the scope was wider: machine translation, optimization and compilation of programs, proof of theorems, modeling of complex electronic circuits, solving a number of problems of artificial intelligence. The language now has a sufficient number of followers, mainly in scientific circles.The objective of the described project is to create a product that allows the use of Refal in modern mass applications and to expand the range of its potential users to the entire Internet. A survey of the community of users and developers of Refal was conducted in order to get an idea of the current state of Affairs, current implementations and ways of language development. Possible means of project implementation were considered. No information was received on similar developments under way.