Proving termination of Prolog programs

Publisher Website

1 January 1985

book chapter
Published by Springer Nature

p. 89-105
https://doi.org/10.1007/3-540-15648-8_8

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Backtracking in recursive computations
Acta Informatica, 1977
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM, 1976
Assigning meanings to programs
Published by American Mathematical Society (AMS) ,1967