Martínez Alonso, Juan CarlosBarriga Martı́n, Héctor2018-10-092018-10-092018-06-27https://hdl.handle.net/2445/125157Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Juan Carlos Martı́nez Alonso[en] Logic Programming arises from the fundamental idea that First Order Logic can be used as a programming language. The aim of the first two sections of this work is to present the theoretical foundations of Logic Programming and particularly of the SLD–Resolution Method. In the last section we show the Prolog programming language and give some examples where it shines over imperative programming languages.72 p.application/pdfspacc-by-nc-nd (c) Héctor Barriga Martı́n, 2018http://creativecommons.org/licenses/by-nc-nd/3.0/es/Lògica de primer ordreTreballs de fi de grauProgramació (Matemàtica)PROLOG (Llenguatges de programació)First-order logicBachelor's thesesMathematical programmingProlog (Computer program language)info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccess