Introspector/LanguageTools/SilverScheme

SilverScheme 是一种类似 Scheme 的面向对象语言，它大量使用内省。未经编辑的文档在这里：Introspector/LanguageTools/SilverScheme/Doc。使用的本体在这里：Introspector/LanguageTools/SilverScheme/Ontology.

在 Silverscheme 中，类系统是在原型系统之上实现的。原型系统非常简单：每个对象都是另一个对象的（修改过的）副本。它所复制的对象是它的原型。

一些重要的概念

   * Extending: copying an object and entering the scope of the new object to add/change/delete some stuff. Usually done with (define new-obj (old-obj.extend)).
   * Inheriting: if object A extends object B and the field C in A is the same as the field C in B then A is said to have inherited C from B. 

SilverScheme 将内置一个 KnowledgeInterchangeFormat 推理器用于逻辑编程。

知识交换格式 (KIF) 是一种在计算机中表示知识的方式。它也是一种非常简单的逻辑语言，对于推理知识很有用。目前，KIF 资源在网络上相当分散，以下是一些链接

   * http://www.csee.umbc.edu/kse/kif/
   * http://logic.stanford.edu/kif/

Introspector/KifTutorial

库和工具的想法可以在Introspector/LanguageTools/SilverScheme/Projects找到。

支持 SilverScheme 或使其更有趣所需项目的列表。

必需

   * A simple make system.
   * Interface to a GUI toolkit (preferably FOX, good test for the C++ invocation mechanism)

有趣

   * SilverSchemeSourcery 

通常，语言有小的示例，并不真正有趣。然而，SilverScheme 有一个大型有趣的示例，一个名为 Sourcery 的完整桌面/卡牌游戏。Sourcery 将成为 SilverScheme 逻辑能力的良好示例，因为它将使用 KIF 以动态方式确定什么是允许的，什么是不允许的。