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...

Descripción completa

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 53; no. 4; pp. 74 - 86
Autores principales: ANTOY, SERGIO, HANUS, MICHAEL
Formato: Artículo
Publicado: Association for Computing Machinery Apr2010
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario: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.