A <b>L</b>azy <b>I</b>nterpreter of <b>B</b>inary *(Relational) <b>A</b>lgebra, a *(programming language) described from the author _(Barry Dwyer's home page| http://www.cs.adelaide.edu.au/~dwyer/TR95-10_TOC.html), written in _(Prolog).