Abstract
In this paper the author is completing a gap in the style used by SWI-Prolog programmers. Important notions and theorems from the field of functional programming can now migrate to the logic programming paradigm: foldl, foldr, the universality property, etc.
Cuvinte cheie
fold
foldl
foldr
functional programming
logic programming