Barry Dwyer: Translating relational programs into PROLOG. RelMiCS 1998: 69-74