Added first prototype of the FOL repl