[Termination tools] problem database for logic programs?

[Claude Marche]

>>>>> "Peter" == Peter Schneider-Kamp <psk at informatik.rwth-aachen.de> writes:

    Peter> Hi!
    Peter> Will there be a problem database for logic programs, too?

    Peter> I can only find term and string rewrite systems at
    Peter> http://www.lri.fr/~marche/wst2004-competition/tpdb/

Sure. You may have a look at "old" tpdb

  http://www.lsi.upc.es/~albert/tpdb.html

I will add then in the new base, and any other contributions is
welcome. 

Nevertheless, there is no specification of the input format for those yet.
there are supposed to be in "standard Prolog syntax" id it means
something. 


-- 
| Claude Marché           | mailto:Claude.Marche at lri.fr |
| LRI - Bât. 490          | http://www.lri.fr/~marche/  |
| Université de Paris-Sud | phoneto: +33 1 69 15 64 85  |
| F-91405 ORSAY Cedex     | faxto: +33 1 69 15 65 86    |