开发者 slpg.sf.net

Logic Program Generator 免费

SLPG（半自动逻辑程序生成器）是一个学术工具，其目标是帮助没有经验的逻辑程序员使用系统方法开发Prolog程序。