Reasoning from incomplete knowledge in a procedural deductive system