GitHub - vidastanic/Datalog-Reasoner: Final Year CS Project for efficiently converting Datalog (subset of First Order Logic) into SQL and vice versa

Final year Computer Science Project to transcode Datalog (subset of First Order Logic) into SQL queries.

Name		Name	Last commit message	Last commit date
DatalogReasoner.py		DatalogReasoner.py
InsertTester.py		InsertTester.py
RDFtoPostgres.py		RDFtoPostgres.py
README.md		README.md
SemiNaiveDatalogReasoner.py		SemiNaiveDatalogReasoner.py
naiveEvalTester.py		naiveEvalTester.py

Navigation Menu