The graphical Datalog editor/interpreter as well as the parser included in the source code the two recognize the subsequent grammar for Datalog: The fixpoint semantics suggest an algorithm for computing the small product: Start with the set of floor info in the program, then frequently include im