Language.Prolog.Types
Language.Prolog.Goodies
Language.Prolog.Show
Libraries to represent Prolog programs in Curry
Detailed package documentation (available shortly after this version has been published)