A port and expansion of ISA-CLIPS to Android