IASAbout IASDesignHostingPromotionConsultingContact


    Refal Languages Programming













Refal Languages Programming


Refal is an acronym for REcursive Functions ALgorithmic language. This is usually written in mixed case "Refal", and sometimes in all upper case "REFAL". It is a functional programming language used mainly by mathematicians, for pattern matching, symbol manipulation (symbolic data processing): string processing; computer languages: translation, analysis, metacomputation, etc.; artificial intelligence: theorem proving, natural languages, knowledge bases; computer algebra; scripting and prototyping. It originated in the Soviet Union, created by Valentin F. Turchin. Related websites often have text in English and Russian.

    Top: Computers: Programming: Languages: Refal
See Also:
Editor's Picks:

Refal/Supercompilation Community - Recursive functions algorithmic language, for symbol manipulation: string processing, translation, artificial intelligence. News, biography, history, documents, training, applications, fora, links. English, Russian. [Open Source, BSD-like]


  • Leonid Belous - Projects with downloads: Refal-РНР, Refal-SciTE. [Open Source, BSD-like]
  • About Valentin Turchin - On Refal's creator: photo, contact information, curriculum vitae, research interests, some publications. [Principia Cybernetica Web]
  • Refal-5 - Several downloads. Refal-5: Programming Guide and Reference Manual (by V. Turchin): online, zipfile; Refal-5 compiler executables and documents for varied operating systems. Refal-C translator.
  • Mikhail Burtsev - Curriculum vitae, publications, philosophy, links.


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Click here to add, change or remove your listing

Top


Home | About IAS | Web Design | Web Hosting | Promotion | Consulting | Support | Contact IAS

Copyright © 1995-2009 Internet Advertising Solutions, Inc.
Copyright Notice | Privacy Policy | Site Map | APR









  MySQL - Cache Direct sec.