[Termination tools] problem database for logic programs?

[Fred Mesnard]

Hi,

I may help, I have some benchs for LP,
including large ISO-Prolog files.

There are however a few problems to solve, eg:
- which license?  (I am not the author of the programs.)
- which queries?

Moreover, inside the LP community, we have
addressed the following problems:
- termination check (pure logic programs, ISO-Prolog, pure typed logic 
programs, Mercury programs)
- termination inference (pure logic programs, ISO-Prolog, pure typed 
logic programs)
- non-termination inference (pure logic programs)

Right now, I don't have much time!
What is the deadline?

Best,
Fred