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…
