Toward automatic program synthesis
Experiments with a deductive question-answering program