Files

memoria.pdf (431.52 KB)

Document type

Bachelor thesis

Publication date

2018-06-27

Publication license

cc-by-nc-nd (c) Héctor Barriga Martı́n, 2018
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/125157

Fundamentos de programación lógica

Journal Title

Authors

Director/Tutor

Additional contribution

Journal ISSN

Volume Title

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.

Description

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Juan Carlos Martı́nez Alonso

Related resource

Subject

Lògica de primer ordre, Treballs de fi de grau, Programació (Matemàtica), PROLOG (Llenguatges de programació)

Subject (English)

First-order logic, Bachelor's theses, Mathematical programming, Prolog (Computer program language)

Citation

Collections

Treballs Finals de Grau (TFG) - Matemàtiques

Citation

BARRIGA MARTÍN, Héctor. Fundamentos de programación lógica. [consulted: 9 of October of 2026]. Available at: https://hdl.handle.net/2445/125157

Export metadata

JSON - METS

Share record