Barry Dwyer: Relational Programming in Libra. RelMiCS 1997: 123-132