Jinni: a Lightweight Java-based Logic Engine for Internet Programming