pl1res (npm): Automated theorem prover for first-order predicate logic based on resolution
Keywords: ATP|first-order predicate logic|resolution|automated theorem proving