The library can:
- load a Prolog song (using predicates which allow de-duplication of pitch/length sequences);
- export a Lilypond file;
- export an UltraStar file.
As an example Bernhard Flies' Wiegenlied is used, lyrics included.
All these use cases are described in README.md, GitHub Page mirrors that.
Summary: a basic creation and the export work and are described.