Logic as a Computer Language for Children