Chris Johnson,
Index
Inference
We can DEDUCE facts given rules.
Chris Johnson, Index
