add all files of TetoProlog