resolution-of-expressions
There are 2 repositories under resolution-of-expressions topic.
Eduardodsb/Estrutura-de-dados-Data-structure
Algoritmos relacionados a estrutura de dados (Data structure)
Mayank19j/resolution-refutation-prolog
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.