Miniatura

Fitxers

memoria.pdf (431.52 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2018-06-27

Llicència de publicació

cc-by-nc-nd (c) Héctor Barriga Martı́n, 2018
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/125157

Fundamentos de programación lógica

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

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

Descripció

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

Matèries

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

Matèries (anglès)

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

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

BARRIGA MARTÍN, Héctor. Fundamentos de programación lógica. [consulta: 5 de febrer de 2026]. [Disponible a: https://hdl.handle.net/2445/125157]

Exportar metadades

JSON - METS

Compartir registre