P88-1030 parsers is constructed using a Horn-clause theorem-prover ( a Prolog interpreter ) . The
P88-1030 ( a Prolog interpreter ) . The Horn-clause theorem-prover is provided with an wdomatization
P88-1030 implies F in first-order logic , a Horn-clause theorem-prover using axiomatization 41 is capable
hide detail