_(REFAL | http://refal.net/index_e.htm) REcursive Functions Algorithmic Language, an _(AI) *(programming language) by _(Valentin F. Turchin).
