Integration of Functional and Logic Programming MICHAEL HANUS AND HERBERT KUCHEN Informatik II, RWTH Aachen, Germany {hanus,herbert}@informatik.rwth-aachen.de During the last decade, many proposals have been made to combine the most important declarative programming paradigms, namely, functional and logic programming (see Hanus [1994] for a survey). Functional logic languages offer features from functional programming (nested expressions, higher-order functions, lazy evaluation) and logic programming (logical variables, partial data structures, built-in search). They subsume purely functional languages as well as pure Prolog. An important advantage of an integrated language is that it can help to bring the functional and the logic programming communities together, enabling them to share their developments and avoid duplication of work on implementation techniques, program analysis, program transformation, graphical user interfaces, and many other tools. Moreover, this integration should lead to an increased acceptance of declarative programming in general. Compared to purely functional languages, functional logic languages mainly provide a built-in search mechanism capable of handling partial information. An expression containing logic variables represents an arbitrarily large set of values. If the basic structure of such an expression allows the inference that there are no solutions no matter how the logic variables are bound, then a whole
End of preview. The entire article is 3 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/integration-of-functional-and-logic-programming-Ur8usRlhmf
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Integration of functional and logic programming
Hanus, Michael; Kuchen, Herbert
Follow ACM Computing Surveys (CSUR)
, Volume 28 (2)
Association for Computing Machinery – Jun 1, 1996
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
