Publikace na Matematicko-fyzikální fakulta |
2007
Abstrakt
Eliminační Procedura je algoritmus založený na transformaci rozvinutí/svinutí a částečném odvozování, který eliminuje nepotřebné proměnné v logických programech. V tomto článku je navržena varianta této strategie, které se vždy zastaví pro všechny definitní logické programy a je plně automatizovaná.