Random ideas about libraries for Prolog