GitHub repository: rohitdha/Backward-Chaining-Inference-First-Order-Logic
Primary language: Python
Description: Artificial Intelligence