The Proceedings of the Information Systems Education Conference 2009 - Clausula: A Didactic Tool to Teach First Order Logic

Congress

Summary *

immediate feedback and interactivity are crucial in any learning process. Introductory logic courses exercises are usually performed with paper and pencil approach. Students often have difficulties in handling formalisms and getting familiar with them. For this reason, we developed Clausula, a tool to support students? learning process in some First Order Logic contents. This paper describes Clausula, an educational, visual, and interactive tool to experiment with arbitrary sets of First Order Logic clauses in order to determine their (un)satisfiability. The tool is easy and intuitive to use, and help students to improve their understanding of logic concepts. Clausula is implemented in C++, and it has been released under a free software license. Information provided by the agent in SIGEVA