Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Refal> ?p ?o. }
Showing items 1 to 46 of
46
with 100 items per page.
- Refal abstract "Refal (Recursive functions algorithmic language) "is a functional programming language oriented toward symbol manipulation", including "string processing, translation, [and] artificial intelligence". It is one of the oldest members of this family, first conceived in 1966 as a theoretical tool with the first implementation appearing in 1968. Refal combines mathematical simplicity with practicality for writing large and sophisticated programs.Unlike Lisp, Refal is based on pattern matching. Compared to Prolog, Refal is conceptually simpler. Its pattern matching works in the forward direction rather than backwards (starting from the goal) as in Prolog.Very important is the difference between data structures and their use in Refal and most other high-level languages. The basic data structure of Lisp and Prolog is a linear list consed up from the beginning. Refal lists are built and scanned from both ends, and pattern matching allows to match against nested lists as well as the top-level one. (In effect, the basic data structure of Refal is a tree rather than a list). This gives freedom and convenience in creating data structures while using only mathematically simple control mechanisms of pattern matching and substitution.Refal also includes a feature called the freezer to support efficient partial evaluation.Refal can be more succinct in processing and transforming tree structures than XSLT.".
- Refal designer Valentin_Turchin.
- Refal developer Valentin_Turchin.
- Refal wikiPageExternalLink www.refal.net.
- Refal wikiPageExternalLink index_e.htm.
- Refal wikiPageExternalLink refal_content.html.
- Refal wikiPageID "14926151".
- Refal wikiPageRevisionID "582378492".
- Refal designer Valentin_Turchin.
- Refal developer "Valentin Turchin, S. Florentsev, V. Olyunin, et al.".
- Refal hasPhotoCollection Refal.
- Refal implementations "Refal-2, Refal-5, Refal-6, Refal+".
- Refal name "Refal".
- Refal paradigm "Pattern-matching and Term-rewriting".
- Refal typing Strong_and_weak_typing.
- Refal typing Type_system.
- Refal website www.refal.net.
- Refal wordnet_type synset-programming_language-noun-1.
- Refal subject Category:Functional_languages.
- Refal subject Category:Pattern_matching_programming_languages.
- Refal subject Category:Term-rewriting_programming_languages.
- Refal subject Category:Tree_programming_languages.
- Refal type Abstraction100002137.
- Refal type ArtificialLanguage106894544.
- Refal type Communication100033020.
- Refal type FunctionalLanguages.
- Refal type Language106282651.
- Refal type ProgrammingLanguage106898352.
- Refal type ProgrammingLanguage.
- Refal type Software.
- Refal type Work.
- Refal type CreativeWork.
- Refal type InformationEntity.
- Refal comment "Refal (Recursive functions algorithmic language) "is a functional programming language oriented toward symbol manipulation", including "string processing, translation, [and] artificial intelligence". It is one of the oldest members of this family, first conceived in 1966 as a theoretical tool with the first implementation appearing in 1968. Refal combines mathematical simplicity with practicality for writing large and sophisticated programs.Unlike Lisp, Refal is based on pattern matching.".
- Refal label "Refal".
- Refal label "Refal".
- Refal label "РЕФАЛ".
- Refal sameAs Refal.
- Refal sameAs m.03h1x74.
- Refal sameAs Q2626418.
- Refal sameAs Q2626418.
- Refal sameAs Refal.
- Refal wasDerivedFrom Refal?oldid=582378492.
- Refal homepage www.refal.net.
- Refal isPrimaryTopicOf Refal.
- Refal name "Refal".