Programma's van slpg.sf.net

SLPG (Semiautomatic Logic Program generator) is een academisch instrument waarvan het doel is om onervaren logica programmeurs te helpen prolog programma's te ontwikkelen met behulp van een systematische methodologie.