Testing a Logical Query Language

Contact: Kasper Piskorski, Grakn <kasper@grakn.ai>

Graql is Grakn's query language. It is a declarative query language inspired by logic programming languages, performs real-time deductive reasoning on knowledge graphs. Although theoretical properties of query languages can be ascertained formally, it is important to be able to test language implementations for theoretical conformance and validity. Your task is to build a system to test Graql's implementation for soundness and completeness with respect to its logical semantics. If successful, your code will be contributed back to Grakn's open-source repositories.