---------------------------------------------------------------------- -- | -- Module : PGFtoProlog -- Maintainer : Peter Ljungl