program :: AtomSpace ()
program = do
        insert $ Link "InheritanceLink"
                   [Node "ConceptNode" "fox" noTv
                   ,Node "ConceptNode" "animal" noTv
                   ] noTv
        insert $ Link "InheritanceLink"
                   [Node "ConceptNode" "cat" noTv
                   ,Node "ConceptNode" "animal" noTv
                   ] noTv
        insert findAnimals
        res <- cogBind findAnimals
        liftIO $ putStrLn "Result: " >> case res of
              Nothing       -> print res
              Just at -> printAtom at
        liftIO $ putStrLn "-----AtomSpace state at the end:-----"
        debug
        liftIO $ putStrLn "-------------------------------------"
program :: AtomSpace ()
program = do
        insert $ Link "InheritanceLink"
                   [Node "ConceptNode" "fox" noTv
                   ,Node "ConceptNode" "animal" noTv
                   ] noTv
        insert $ Link "InheritanceLink"
                   [Node "ConceptNode" "cat" noTv
                   ,Node "ConceptNode" "animal" noTv
                   ] noTv
        insert findAnimals
        res <- cogBind findAnimals
        liftIO $ putStrLn "Result: " >> case res of
              Nothing       -> print res
              Just at -> printAtom at
        liftIO $ putStrLn "-----AtomSpace state at the end:-----"
        debug
        liftIO $ putStrLn "-------------------------------------"
program = do
        insert $ Link "InheritanceLink"
                   [Node "ConceptNode" "fox" noTv
                   ,Node "ConceptNode" "animal" noTv
                   ] noTv
        insert $ Link "InheritanceLink"
                   [Node "ConceptNode" "cat" noTv
                   ,Node "ConceptNode" "animal" noTv
                   ] noTv
        insert findAnimals
        res <- cogBind findAnimals
        liftIO $ putStrLn "Result: " >> case res of
              Nothing       -> print res
              Just at -> printAtom at
        liftIO $ putStrLn "-----AtomSpace state at the end:-----"
        debug
        liftIO $ putStrLn "-------------------------------------"