module Main where 
import InfEngine 
main :: IO ()
main = do putStrLn "Welcome to the Knowledge Base."
          chat