玩具是专门建造的是一个约束功能逻辑系统。它的目的是为了支持声明式的编程风格以及它们的组合。 玩具可用于从一个SICStus的Prolog语言环境(版本3.8.4或更高版本上运行的神器出山:www.shenqi73.com最常用的操作系统),或所提供的二进制文件。