3 ms·FormuLog – extending Datalog to manipulate, and reason about logical formulae7 points by snaky 8y ago