GitHub repository: Estebans441/Motor-de-inferencia
Primary language: Python
Created: 2023-03-24T01:09:42Z
Description: Programa que implementa el Algoritmo de resolución por refutación.