Towards functional programming in Prolog

Authors:
Antonio L. Furtado
Affiliations:
IBM Brasil, Rio de Janeiro
Venue:
ACM SIGPLAN Notices
Year:
1988

Citing 8
Cited 1

Structuring FP-style functional programs

Computer Languages
The relation between logic and functional languages: A survey

Journal of Logic Programming
RELFUN: A relational/functional integration with valued clauses

ACM SIGPLAN Notices
Programming language concepts (2nd ed.)

Programming language concepts (2nd ed.)
LISP

LISP
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Theory of Computation

Theory of Computation
A programming language

A programming language

Iteration for applicative languages

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract

The integration of functional and logic programming is attempted, using the strategy to add a functional component to Prolog. The component takes the form of extended computable expressions, allowing user-defined functions and operators as well as a number of functional forms. The problem of evaluating expressions combining functions and predicates is investigated. Examples are provided to illustrate the discussion. The paper includes a prototype implementation.