Functional Logic Programming.

The article discusses the features of functional logic programming, which supports specification, prototyping, and application programming within one declarative language. According to the article, functional languages are based on mathematical functions while logic languages are based on predicate...

Full description

Bibliographic Details
Published in:Communications of the ACM Vol. 53; no. 4; pp. 74 - 86
Main Authors: ANTOY, SERGIO, HANUS, MICHAEL
Format: Article
Published: Association for Computing Machinery Apr2010
Subjects:
Online Access:View this record in EBSCOhost
Description
Summary:The article discusses the features of functional logic programming, which supports specification, prototyping, and application programming within one declarative language. According to the article, functional languages are based on mathematical functions while logic languages are based on predicate logic. Functional logic languages combine the features of both paradigms. The Curry functional logic language that produces a standard for research, teaching, and application of functional logic programming is noted. The functional logic programming techniques for application programming are discussed.