WeberLogic (hackage): Logic interpreter
Keywords: bsd3|library|math|program