[Termination tools] problem database for logic programs?

[Peter Schneider-Kamp]

Hi!

Will there be a problem database for logic programs, too?

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

Greetings,
Peter
-- 
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik II     http://www-i2.informatik.rwth-aachen.de/~nowonder
RWTH Aachen            phone: ++49 241 80-21211