module Main where 
import InfEngine 

main :: IO ()
main = do 
        putStrLn "Welcome to the Knowledge Base."
        chat