added the prolog program