last prolog program