Programas por slpg.sf.net

O SLPG (gerador de Programas De Lógica Semiautomática) é uma ferramenta académica cujo objetivo é ajudar programadores de lógica inexperientes a desenvolver programas de Prolog usando uma metodologia sistemática.