Alonso Jiménez, José AntonioPaluzo Hidalgo, Eduardo2017-07-262017-07-262017-06Paluzo Hidalgo, E. (2017). Lógica de primer orden en Haskell. (Trabajo Fin de Grado Inédito). Universidad de Sevilla, Sevilla.http://hdl.handle.net/11441/63139This final degree project consists in the implementation of First Order Logic theory and algorithms in Haskell, a functional programming language. Furthermore, a relation between maths and programming based on Curry-Howard correspondence is established, giving an intuitive sort of examples. Moreover, it aims to give an introduction to Haskell and other sources as git and doctest.application/pdfspaAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccess