Sistema usado en "Programación lógica" (2004-05)

• SWI Prolog
• The ECLiPSe Constraint Logic Programming System
• GNU Prolog

[ Inicial | Temas | Documentación | Sistemas ]