Logic Programs

The following lists of termination problems are available:

lpexamples1.tgz (compiled by Michael Codish)
lpexamples2.tgz (compiled by Alexander Serebrenik)
talp-bench.tgz (provided by Enno Ohlebush, Claus Claves and Claude Marché)

Back to TPDB's Home Page