Programas por slpg.sf.net

SLPG (Generador de Programas Lógicos Semiautomáticos) es una herramienta académica cuyo objetivo es ayudar a los programadores lógicos sin experiencia a desarrollar programas Prolog utilizando una metodología sistemática.