Comments on the format of the termination problems of the TPDB

[Alexander Serebrenik]

> - We should fix a suffix for files in the
>    different formats. I guess we're going to
>    use .trs for TRSs and .srs for SRSs, but
>    what are we going to use for logic programs?
>    I could think of .pl or .lp?

I've never seen ".lp". ".pl" seems the most popular extension (if any).
".pro" is also used sometimes but it is much more rare.
 
Alexander