Clausula es un Deductor Automático para Lógica de Primer Orden liberado bajo la licencia GNU GPL. Dado un conjunto inicial de cláusulas, es capaz de determinar su satisfacibilidad.
Clausula ha sido diseñado con fines educativos, especialmente para el dictado de cátedras de Lógica Formal y Lógica Informática en carreras de grado.
Actualmente, es utilizado como software didáctico en la cátedra Ciencias de la Computación 2 de la Facultad de Ciencias Exactas de UNICEN, Argentina.
Clausula is an Automatic Clause Deductor licensed under the GNU GPL. From a set of clauses, this software can determinate whether or not the set is satisfiable.
Clausula has been designed for educational purposes, specially for Logic degree curses dictation.
Nowadays, it's being used as a didactic software by Computer Sciences 2 course, Exact Sciences Faculty, UNICEN, Argentina.
By Enzo Ferrante.