/Logic-Programming-Agent

Implement Resolution inference method on First Order Logic clauses!

Primary LanguageJava

Stargazers

No one’s star this repository yet.