Treballs 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.