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…
