Next: serialise: Inplace Updates Up: Extended Logic-plus-Functional Programming Previous: Higher-Order Constructors and

The Logic/Functional Style in Use

Several RELFUN projects have explored the use of relational/functional programming for non-toy problems: the language has been evaluated and tuned by programs for realistic tasks such as hypergraph processing [Bol92], NC-program generation [BHH+91], and materials engineering [BBK94]. In order to facilitate comparison with other languages, this section gives versions of three well-known non-trivial programs in RELFUN's logic/functional style (not all features of RELFUN will be needed in these examples).

Harold Boley & Michael Sintek (