プログラム slpg.sf.net

SLPG (半自動ロジックプログラムジェネレータ) は、その目標は、体系的な方法論を使用してプロローグプログラムを開発する経験の浅いロジックプログラマを支援することです学術ツールです。