Evaluation order and nontermination in query languages
relational programmingfinite functional programmingrecursionnon-terminationevaluation order
Author: luu
Date: 7/2/2026
Article Summary:
The article discusses the challenges of implementing recursion and non-termination in a relational programming language, specifically in the context of finite functional programming.