ActiveFacts provides the Constellation Query Language (CQL), a fact modeling and query language. CQL combines a controlled natural language verbalisation with formal logic, producing a formal language that reads like plain English. ActiveFacts compiles fact models in CQL and generates relational and object models in SQL, Ruby and other languages.