First-order logic & inference
The explanation is being written.
Sources and connections are already here. The explanation will say what it is, what it is for and how to do it.
Timeline
- 1965Robinson: a machine-oriented logic based on the resolution principle. source