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