Adding basic REPL

Adding basic REPL based on the one by @pchiusano at https://github.com/pchiusano/datalog-refactoring.