Diferencia entre revisiones de «Solución declarativa de problemas»

Revisión del 10:15 28 oct 2008

El objetivo es construir una colección de problemas y comparar sus soluciones usando distintos sistemas de programación declarativa:

Programación lógica: SWI-Prolog y GNU Prolog.
Programación lógica con restricciones: ECLIPSe y CHR.
Programación basada en conjuntos de respuestas: DLV, Smodels, Cmodels y clasp.
Programación funcional:
- con Haskell: Hugs y GHC.
- con Lisp: CLISP y GCL.
- con Scheme: PLT Scheme (incluye DrScheme).
Programación basada en reglas de producción: CLIPS y Jess.
Programación en sistemas de demostración: Otter/Mace2, Prover9/Mace4, ACL2, PVS e Isabelle.

Como punto de partida se puede usar el material de las asignaturas

desde el curso 1997-98 hasta el actual, así como las asignaturas que le precedieron:

Gran parte de este material se encuentra en la página cursos impartidos por J.A. Alonso.

Otras fuentes para el proyecto son

José A. Alonso Solución declarativa del Sudoku mediante ASP Publicaciones del Grupo de Lógica Computacional. Universidad de Sevilla, 2006.
K.R. Apt y M.G. Wallace Constraint Logic Programming using Eclipse.
M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. Solving challenging grid puzzles with answer set programming.

@@ Línea 24: / Línea 24: @@
 * {{jalonso}} ''[http://www.cs.us.es/~jalonso/publicaciones/2006-sudoku-ASP.pdf Solución declarativa del Sudoku mediante ASP]'' Publicaciones del Grupo de Lógica Computacional. Universidad de Sevilla, 2006.
 * K.R. Apt y M.G. Wallace ''[[Constraint Logic Programming using Eclipse]]''.
+* M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. ''[[Solving challenging grid puzzles with answer set programming]]''.
 [[Category:Projects]]