Some Interesting Prolog Codes