An Experiment in Knowledge-based Automatic Programming