A few prolog programs