A collection of Prolog libraries.