1
« en: Jueves 22 de Abril de 2004, 05:35 »
hola q tal, necesito ayuda, aunque no se si sea para prolog, pues necesito un programa que compruebe tautologias por el método de resolución, primeramente comprueba que las premisas sean fórmulas bien formadas y despues si cumple o no.... espero sugerencias o ayuda porfavor
[ David ]