Giters

vikasnar / FOL-Inference

First order logic inference engine to determine whether a give query can be inferred by the give facts.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

FOL-Inference

First order logic inference engine to determine whether a give query can be inferred by the give facts.

About

First order logic inference engine to determine whether a give query can be inferred by the give facts.

Languages

Language:Python 100.0%