GitHub repository: J3Burgos/Cas-ET12Lab-G2
Primary language: Prolog
Description: 12. Desarrollar un programa capaz de evaluar fórmulas de la lógica de predicados en el contexto de interpretaciones con dominios finitos