玩具2.3.2_TOY 2.3.2下载地址

工具，以帮助您与您的开发

玩具是专门建造的是一个约束功能逻辑系统。它的目的是为了支持声明式的编程风格以及它们的组合。

玩具可用于从一个SICStus的Prolog语言环境（版本3.8.4或更高版本上运行的神器出山:www.shenqi73.com最常用的操作系统），或所提供的二进制文件。