GitHub repository: plazajan/Prolog-Propositional-Resolution
Primary language: Prolog
Created: 2023-03-11T23:49:17Z
Description: Propositional theorem prover - resolution with pure literal and subsumption elimination, implemented in ISO Prolog. Educational materials.