Programas por slpg.sf.net

O SLPG (Gerador do Programa de Lógica Semiautomática) é uma ferramenta acadêmica cujo objetivo é ajudar programadores lógicos não experientes a desenvolver programas prolog usando uma metodologia sistemática.