A few Prolog codes done while practising...