New Prolog stub
New introduction to prolog stub