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 以動態方式確定什麼是允許的，什麼是不允許的。