Problemas de decisão

24 Outubro 2019, 18:30 • Graça Gaspar

problemas de decisão em lógica proposicional e lógica de predicados usando Prolog