Extending Logic Programming

Download PDF
2 downloads 0 Views 808KB Size Report
Comment
rule of a component C J gets overruled m the component C, wrth C, < C 1 1f 1: 1ntroduces some contradrctron m C, (see the ordered program P1 of Ftgure 1 ...