A very short and simple implementation of (bottom-up) Datalog in JS