Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Refal> ?p ?o }
Showing triples 1 to 80 of
80
with 100 triples 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 was intended to combine mathematical simplicity with practicality for writing large and sophisticated programs.Unlike Lisp, Refal is based on pattern matching. 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). According to the authors, 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 applied to the processing and transformation of tree structures, similarly to XSLT.".
- Refal designer Valentin_Turchin.
- Refal developer Valentin_Turchin.
- Refal wikiPageExternalLink refal_content.html.
- Refal wikiPageExternalLink www.refal.net.
- Refal wikiPageExternalLink index_e.htm.
- Refal wikiPageID "14926151".
- Refal wikiPageLength "8221".
- Refal wikiPageOutDegree "28".
- Refal wikiPageRevisionID "649852486".
- Refal wikiPageWikiLink %22Hello,_World!%22_program.
- Refal wikiPageWikiLink Artificial_intelligence.
- Refal wikiPageWikiLink Backward_chaining.
- Refal wikiPageWikiLink Category:Functional_languages.
- Refal wikiPageWikiLink Category:Pattern_matching_programming_languages.
- Refal wikiPageWikiLink Category:Term-rewriting_programming_languages.
- Refal wikiPageWikiLink Category:Tree_programming_languages.
- Refal wikiPageWikiLink Comparison_of_programming_languages_(string_functions).
- Refal wikiPageWikiLink Cons.
- Refal wikiPageWikiLink Data_structure.
- Refal wikiPageWikiLink Forward_chaining.
- Refal wikiPageWikiLink Functional_programming.
- Refal wikiPageWikiLink Lisp_(programming_language).
- Refal wikiPageWikiLink List_(abstract_data_type).
- Refal wikiPageWikiLink Palindrome.
- Refal wikiPageWikiLink Partial_evaluation.
- Refal wikiPageWikiLink Pattern_matching.
- Refal wikiPageWikiLink Programming_language.
- Refal wikiPageWikiLink Prolog.
- Refal wikiPageWikiLink Rewriting.
- Refal wikiPageWikiLink Strong_and_weak_typing.
- Refal wikiPageWikiLink Translation.
- Refal wikiPageWikiLink Tree_(data_structure).
- Refal wikiPageWikiLink Type_system.
- Refal wikiPageWikiLink Valentin_Turchin.
- Refal wikiPageWikiLink XSLT.
- Refal wikiPageWikiLinkText "REFAL".
- Refal wikiPageWikiLinkText "Refal (programming language)".
- Refal wikiPageWikiLinkText "Refal".
- Refal designer Valentin_Turchin.
- Refal developer "Valentin Turchin, S. Florentsev, V. Olyunin, et al.".
- 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 wikiPageUsesTemplate Template:Cite_web.
- Refal wikiPageUsesTemplate Template:Infobox_programming_language.
- Refal wikiPageUsesTemplate Template:Notability.
- Refal wikiPageUsesTemplate Template:Start_date.
- 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 hypernym Language.
- Refal type Language.
- Refal type ProgrammingLanguage.
- Refal type Language.
- Refal type Redirect.
- Refal type Language.
- Refal type Thing.
- Refal type Q315.
- Refal type Q34770.
- Refal type Q9143.
- 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 label "Refal".
- Refal sameAs Q2626418.
- Refal sameAs РЕФАЛ.
- Refal sameAs Refal.
- Refal sameAs m.03h1x74.
- Refal sameAs РЕФАЛ.
- Refal sameAs РЕФАЛ.
- Refal sameAs РЕФАЛ.
- Refal sameAs Q2626418.
- Refal wasDerivedFrom Refal?oldid=649852486.
- Refal homepage www.refal.net.
- Refal isPrimaryTopicOf Refal.
- Refal name "Refal".
- Refal page www.refal.net.