Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming