Blog
About

362
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      A Functional Logic Language Based on Higher Order Narrowing

      Proceedings of the 1995 Glasgow Workshop on Functional Programming (FP)

      Functional Programming

      10-12 July 1995

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Functional logic languageshave a syntax like a purely functional language but use narrowing as operational semantics. We present the functional logic language Higher Order Babel which provides higher order unification for parameter passing and solving equations. When searching for a function which solves an equation “polynomial functions” as well as defined functions are taken into account. In contrast to all other programming languages with higher order unification HO-Babel replaces the expensive β-reduction by the more efficient combinator reduction. Further, HO-Babel is more homogeneous since it does not distinguish functions which only represent data structures and defined function which have access to the full execution mechanismof the language.

          Related collections

          Most cited references 2

          • Record: found
          • Abstract: not found
          • Article: not found

          A unification algorithm for typed λ-calculus

           G.P. Huet (1975)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Logic programming with functions and predicates: The language Babel

              Bookmark

              Author and article information

              Conference
              July 1995
              July 1995
              : 1-9
              Affiliations
              RWTH Aachen, Lehrstuhl für Informatik II

              D-52056 Aachen, Germany
              Article
              10.14236/ewic/FP1995.12
              © Herbert Kuchen. Published by BCS Learning and Development Ltd. Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland

              This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

              Proceedings of the 1995 Glasgow Workshop on Functional Programming
              FP
              Ullapool, Scotland
              10-12 July 1995
              Electronic Workshops in Computing (eWiC)
              Functional Programming
              Product
              Product Information: 1477-9358BCS Learning & Development
              Self URI (journal page): https://ewic.bcs.org/
              Categories
              Electronic Workshops in Computing

              Comments

              Comment on this article