Sistemas usados en "Programación declarativa" (2005-06)

En esta página se encuentran enlaces a los sistemas utilizados en en el curso "Programación declarativa". Se irán publicando conforme se vayan utilizando.

• SWI Prolog
• SldDraw: Herramienta para representar árboles SLD.

[ Inicial | Temas | Documentación | Sistemas | Exámenes ]