Programy według slpg.sf.net

SLPG (Semiautomatic Logic Program generator) jest narzędziem akademickim, którego celem jest pomoc niedoświadczonym programistom logiki w opracowywaniu programów Prolog przy użyciu systematycznej metodologii.