GitHub - Tedworthy/ATLAST: ATLAST: Automatic Translation of Logic to ANSI SQL Tool. Basically a web app that translates from first-order predicate logic to SQL.

Name		Name	Last commit message	Last commit date
Latest commit History 1,218 Commits
admin		admin
ast		ast
backup		backup
codegen		codegen
dbbackend		dbbackend
error		error
parsing		parsing
report		report
semanticanalysis		semanticanalysis
static		static
templates		templates
test		test
web		web
.gitignore		.gitignore
code.py		code.py
remove_pyc		remove_pyc
run		run
server		server
task.py		task.py
visit.py		visit.py