Prolog: minor improvement
Prolog: more samples