Quick search
Go!

FUNCTIONAL FOLD BASED PROGRAMMING IN SWI-PROLOG


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

Issue:

SSRSMI, Number 1, Volume XXIV

Section:

Volume 24, Number 1

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.

Keywords:

fold, foldl, foldr, functional programming, logic programming.

Code [ID]:

SSRSMI20140124V24S01A0009 [0004066]

Full paper:

Download pdf


Copyright (c) 1995-2007 University of Bacu