Documents P RACTICAL A NALYSIS OF N ON - T ERMINATION IN L ARGE L OGIC P ROGRAMS Senlin Liang and Michael...

Slide 1P RACTICAL A NALYSIS OF N ON - T ERMINATION IN L ARGE L OGIC P ROGRAMS Senlin Liang and Michael Kifer Slide 2 M OTIVATION High-level LP languages, e.g., SILK http://silk.semwebcentral.org…

Documents Practical Analysis of Non-Termination in Large Logic Programs

Terminyzer: An Automatic Non-Termination Analyzer for Large Logic Programs Practical Analysis of Non-Termination in Large Logic Programs Senlin Liang and Michael Kifer 1…