Rosetta是由挪威科技大学计算机与信息科学系和波兰华沙大学数学研究所合作开发的一个基于Rough集理论框架的表格逻辑数据分析工具包，包括了计算核和图形用户界面，能够在微机的WindowsNT/98/95操作系统上运行。 Rosetta 的设计实现了对数据挖掘和知识获取的支持从数据的初始浏览和预处理，计算最小属性约简和产生if-then决策规则或描述模式，到对所得到的规则或模式的验证和分析。Rosetta的目的是要作为基于不可分辨关系模型的通用工具，而不是为某个特定的应用领域设计的专用系统。

启动 您可以采用命令行的形式指定可执行文件、也可以从菜单中选择，或直接拖放到OllyDbg中，或者重新启动上一个被调试程序，或是挂接[Attach]一个正在运行的程序。OllyDbg支持即时调试，根本不需要安装，可直接在软盘中运行！ 线程 OllyDbg可以调试多线程程序。因此您可以在多个线程之间转换，挂起、恢复、终止线程或是改变线程优先级。并且线程窗口将会显示每个线程的错误（就像调用 GETLASTERROR 返回一样）。 调试DLLs 您可以利用OllyDbg调试标准动态链接库(DLLs）

postscr ipt file 印刷版的，需要工具才能大开

erlog, 在Erlang中，Prolog解释器 Erlog - 用于Erlang应用程序的PrologErlog是在Erlang中实现的Prolog解释器，并与Erlang运行时系统集成。 它是Prolog标准的子集。 还包括 Erlog shell ( REPL ) 。如

Ciao编程语言 是一种编程语言，它是基于基于逻辑的简单内核构建的，旨在进行扩展和模块化。 它支持： 约束逻辑编程（尤其是Prolog ） 不同级别的模块化（从小到大） 模块作为（便于分析的）编译单元 捆绑作为模块的集合 包作为实现语言扩展的模块（语法定义，编译选项，编译器插件） 断言（作为允许静态和动态验证以统一方式协同工作的同类框架） 多范例构造（元编程，高阶，可变，并发，函数等）并与外来代码接口 该存储库包含编译器和Ciao标准库。 与builder软件包一起使用，可以用作最小的