first-order-logic (npm): First order logic library.
Keywords: first|order|logic