/Reasoning-From-Memory

Proof of concept application in which a user can enter facts using natural language and later ask questions that the system can use first-order logic inference to reason about.

Primary LanguagePython

Watchers