Title: The application of partial execution in the prolog programming environment