Libra

A Lazy Interpreter of Binary Relational Algebra, a programming language described from the author Barry Dwyer's home page, written in Prolog.