Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/125157
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 theses 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 |
URI: | http://hdl.handle.net/2445/125157 |
Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
memoria.pdf | Memòria | 431.52 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License