455
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-article
      Proceedings of the 1995 Glasgow Workshop on Functional Programming (FP)
      Functional Programming
      10-12 July 1995
      Bookmark

            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.

            Content

            Author and article information

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

            D-52056 Aachen, Germany
            Article
            10.14236/ewic/FP1995.12
            474ff41e-7758-4c9a-9d9b-c93612512978
            © 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 (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FP1995.12
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article