This 10-page 1992 article,

Towards Applicative Relational Programming by Ibrahim & van Enden, has just appeared on ArXiv, which asked the question of how to combine functional and relational programming.

This is fairly well-trodden ground now, with approaches such as Miller's lambda-Prolog and Saraswat's constraint-lambda calculus being well establsihed, but this paper offers a rather different approach, based on the Henkin-Monk-Tarski approach of cylindric algebras, which were devised as a means of formalising predicate logic in equational logic - I'm familiar with them in the context of modal logic, since they offer a means for handling quantifiers by means of modalities, where [] is used to express forall and <> is used to express exists.

The treatment is nice, and is recommended to LtUers interested in having an arsenal of techniques for bridging the declarative divide.

## Recent comments

3 hours 27 min ago

5 hours 35 min ago

12 hours 49 min ago

17 hours 49 min ago

18 hours 28 sec ago

20 hours 5 min ago

1 day 2 hours ago

1 day 4 hours ago

1 day 7 hours ago

1 day 7 hours ago