Relating the Implementation Techniques of Functional and Functional Logic Languages.

Published in: New Gener. Comput. (1993)

Keyphrases

functional language
expressive power
functional analysis
functional programming
knowledge representation
databases
logic programming
automated reasoning