Scheme interpreter in python. Includes a DSL for logic, a relational database language written for scheme.