Lehet azért tetszik a Prolog mint kezdő nyelv ötlet, mert matematikus (is) vagyok. :D
Ha már Forth (stack-based), akkor miért nem PostScript? Kezdőknek lehet könnyebb sikerélményt elérni.
Tényleg funkcionális programozással kezdenéd? Mikor kerülnének elő a magasabb rendű függvények (higher order functions)? Vagy a monad transformerek, type classes? Egyébként dinamikus, vagy statikusan típusos (funkcionális) nyelv lenne praktikusabb szerinted kezdőknek?