A CLIPS console in android