some prolog code - didn't get it to load the KB of niece properly error's for type in in user mode and when load from file
need to go see alex/tutor