Why do I see the “n_” prefix during rule tracing and in the transformer output, but not in the conclusions of the CLP Inferencing Engine?
The “n_” represents negation resulting from the ECN (Eliminate Classical Negation) transform that turns “CNEG p” into “n_p”, where p is an input-CLP predicate. After doing courteous compilation and the hardest part of its processing, the CLP Inference Engine (near the end of its processing) inverse-transforms the conclusion sets to turn “n_p” back into “CNEG p”.
Related Questions
- Why do I see the "n_" prefix during rule tracing and in the transformer output, but not in the conclusions of the CLP Inferencing Engine?
- How does that-- you explained how the rule which affects the scientific conclusions, how does it affect the religious issue?
- HOW CAN I MEASURE THE IMPEDANCE OF A VALVE OUTPUT TRANSFORMER?
