folst

We have hosted the application folst in order to run this application in our online workstations with Wine or directly.

Quick description about folst:

FOLST (First Order Logic Semantic Tutor) is an interactive tool to support teaching and learning of First Order Logic semantics, allowing users to create models under certain frames, and evaluate formulas in the models created.

FOLST es una herramienta did�ctica e interactiva para complementar el proceso de ense�anza/aprendizaje de la L�gica de Predicados de Primer Orden. Permite al usuario crear modelos bajo ciertos frames predefinidos, y evaluar f�rmulas en los modelos creados.


User interface: Qt.
Programming Language: C++.
Categories: