Programmi di slpg.sf.net

SLPG (Semiautomatic Logic Program generator) è uno strumento accademico il cui obiettivo è aiutare i programmatori logici inesperti a sviluppare programmi Prolog utilizzando una metodologia sistematica.