Can read queries in from file with know:learn-file! (feel free to intersperse them with normal statements)