A simple library system in Prolog.