Please use this identifier to cite or link to this item:
Title: Fundamentos de programación lógica
Author: Barriga Martı́n, Héctor
Director/Tutor: Martínez Alonso, Juan Carlos
Keywords: Lògica de primer ordre
Treballs de fi de grau
Programació (Matemàtica)
PROLOG (Llenguatges de programació)
First-order logic
Bachelor's thesis
Mathematical programming
Prolog (Computer program language)
Issue Date: 27-Jun-2018
Abstract: [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.
Note: Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Juan Carlos Martı́nez Alonso
Appears in Collections:Treballs Finals de Grau (TFG) - Matemàtiques

Files in This Item:
File Description SizeFormat 
memoria.pdfMemòria431.52 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons