DAN POPA Vasile Alecsandri" University of Bacău, Faculty of Sciences Department of Mathematics, Informatics and Education Sciences Calea Mărăşeşti 157, Bacău 600115, ROMANIA,
Corresponding author: popavdan@yahoo.com
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.