Sung S. Rhee

• The application of partial execution in the prolog programming environment