Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/125157
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Martínez Alonso, Juan Carlos | - |
dc.contributor.author | Barriga Martı́n, Héctor | - |
dc.date.accessioned | 2018-10-09T08:05:26Z | - |
dc.date.available | 2018-10-09T08:05:26Z | - |
dc.date.issued | 2018-06-27 | - |
dc.identifier.uri | http://hdl.handle.net/2445/125157 | - |
dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Juan Carlos Martı́nez Alonso | ca |
dc.description.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. | ca |
dc.format.extent | 72 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | spa | ca |
dc.rights | cc-by-nc-nd (c) Héctor Barriga Martı́n, 2018 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | - |
dc.subject.classification | Lògica de primer ordre | ca |
dc.subject.classification | Treballs de fi de grau | - |
dc.subject.classification | Programació (Matemàtica) | ca |
dc.subject.classification | PROLOG (Llenguatges de programació) | ca |
dc.subject.other | First-order logic | en |
dc.subject.other | Bachelor's theses | - |
dc.subject.other | Mathematical programming | en |
dc.subject.other | Prolog (Computer program language) | en |
dc.title | Fundamentos de programación lógica | ca |
dc.type | info:eu-repo/semantics/bachelorThesis | ca |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
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