Sistemas usados en "Programación lógica" (2008-09)

En esta página se encuentran enlaces a los sistemas utilizados en en el curso "Programación lógica".

• Prolog:
  • SWI Prolog
  • SldDraw: Herramienta para representar árboles SLD.
• Editores:
  • Emacs para Linux y para Windows.

[ Inicial | Temas | Documentación | Sistemas ]