Inference of termination conditions for numerical loops in Prolog
From MaRDI portal
Publication:4669655
DOI10.1017/S1471068404002042zbMath1088.68029MaRDI QIDQ4669655
Danny De Schreye, Alexander Serebrenik
Publication date: 15 April 2005
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068404002042
68N17: Logic programming
Related Items
Termination of floating-point computations, Terminating Evaluation of Logic Programs with Finite Three-Valued Models, Proving Termination of Integer Term Rewriting