accommodate fail of problem_to_ttTerms/7 and allow printing abduced knowledge into a file
accommodate fail of problem_to_ttTerms/7 and allow printing abduced knowledge into a file

kovvalsky/LangPro,kovvalsky/LangPro,kovvalsky/LangPro,kovvalsky/LangPro