Sample programs in prolog