https://github.com/jaalonso/logica-en-haskell

Desarrollo de la lógica con Haskell.
https://github.com/jaalonso/logica-en-haskell

functional-programming haskell logic

Last synced: 19 days ago
JSON representation

Desarrollo de la lógica con Haskell.

• Host: GitHub
• URL: https://github.com/jaalonso/logica-en-haskell
• Owner: jaalonso
• License: gpl-3.0
• Created: 2021-12-10T12:16:10.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2022-06-24T07:29:44.000Z (over 2 years ago)
• Last Synced: 2024-12-06T06:11:58.427Z (3 months ago)
• Topics: functional-programming, haskell, logic
• Language: Haskell
• Homepage:
• Size: 46.9 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.org
  • License: LICENSE

Awesome Lists containing this project

README

        
#+TITLE: Lógica en Haskell

 

En este proyecto se encuentra una representación de la lógica proposicional en

Haskell. También contiene una implementación del algoritmo de unificación y un

pequeño intérprete de Prolog.

La presentación se hace como una sucesión de ejercicios resueltos basada en los

[[https://www.cs.us.es/~jalonso/cursos/li-11/temas/temas-LI-2011-12.pdf][Temas de "Lógica informática"]] y en el libro

[[https://www.cs.us.es/~jalonso/publicaciones/2002-ded-automatica-1.pdf][Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)]]

en el que se usa Prolog en lugar de Haskell.

+ [[./src/SintaxisSemantica.hs][Sintaxis y semántica de la lógica proposicional]].

+ [[./src/FormasNormales.hs][Formas normales y cláusulas]].

+ [[./src/Clausulas.hs][Cláusulas]].

+ [[./src/TablerosSemanticos.hs][Tableros semánticos proposicionales]].

+ [[./src/Secuentes.hs][Cálculo de secuentes proposicionales]].

+ [[./src/DavisPutnam.hs][El procedimiento de Davis y Putnam]].

# + [[./src/ResolucionProposicional.hs][Resolución proposicional]].

# + [[./src/RefinamientosResolucion.hs][Refinamientos de resolución.]]

# + [[./src/ProgramacionLogicaProposicional.hs][Programación lógica proposicional.]]

# + [[./src/Unificacion.hs][Unificación de términos de primer orden.]]

# + [[./src/Prolog.hs][Implementación de Prolog]].