Verifying Termination and Error-Freedom of Logic Programs with block Declarations

Jan-Georg Smaus, Patricia M. Hill, Andy King

We present verification methods for logic programs with delay declarations. The verified properties are termination and freedom from errors related to built-ins. Concerning termina…