another prolog program