Desarrollo :: Descripción
Clausula pretende resolver, a través de métodos herísticos, el problema de Satisfacibilidad de Cláusulas en Lógica de Predicados.
Debido a la no decidibilidad del problema de Satisfacibilidad de Cláusulas en Lógica de primer orden, es posible que el programa no emita respuesta frente a algún conjunto de cláusulas dado, y termine por colgarse. Por esta razón, cualquier colaboración (ya sea informando sobre el conjunto que logró romper con el algoritmo, o mejor aún, modificando el código para corregir el problema) es bienvenida.
Desarrollo :: GIT - Codigo Fuente
El codigo fuente actualizado de Clausula se encuentra disponible a travé de GIT. Podés bajarlo, estudiarlo, modificarlo y navegarlo sin problemas!
Dirección del Repositorio GIT de Clausula: http://clausula.git.sourceforge.net/
Desarrollo :: Versiones
Versión 0.4
- Soporte para guardar y cargar conjuntos de cláusulas, basado en XML.
- Definidos los Layouts que permiten redimensionar automáticamente los widgets internos de un formulario al redimensionar éste último.
- Mudado de entorno, de Eclipse a QTCreator.
Versión 0.35
- Binarios disponibles para GNU/Linux.
- Solución del problema del analizador sintáctico que permitía el ingreso de Cláuslas sin parámetros ( del tipo P() ).
- Optimización del algorítmo de simplificación por literales puros, para adecuarse rigurosamente a la definción de literales puros (conecuentemente éste método fue desplazado a la clase CAlgoritmos).
Versión 0.3
- Agregado de datos al cuadro de información
- Generación del manual del usuario
- Testeo de la funcionalidad bajo Linux: simulación exitosa usando Wine
- Modificacación de los métodos de simplificación para que informen True o False en función de si lograron eliminar alguna cláusulas del conjunto
Versión 0.2
- Funcionalidades básicas establecidas
- Resolución
- Simplificación de cláusulas
- Unificación de literales