DivyaGodayal / Inference-Engine

Inference Engine using first-order logic resolution

Geek Repo

Github PK Tool