Relational programming
References
#
Friedman, Byrd & Kiselyov: The reasoned schemer