We introduce \emph{mediKanren}, a combination of miniKanren, a database describing relationships between medical concepts, and a graphical user interface (GUI) to simplify data exploration and common queries. All features of the faster-miniKanren implementation are available for queries, including typical constructs like run, conde, fresh, various constraints, and (potentially recursive) user-defined relations. We provide the database as a set of miniKanren relations. To make queries fast, we represent the data backing these relations as specially formatted files on disk, with indexes for fast retrieval. We use the miniKanren project syntax to write Racket code that interfaces with this representation. Performance is sufficient for the GUI to support low latency querying in the common case.

In this paper we provide an overview of mediKanren, give examples of queries in low-level and medium-level query languages, and give an example of how query results have resulted in treatment for a patient with a rare genetic disease.