Introspector/LanguageTools/SilverScheme

SilverScheme is a Scheme like OO language that uses introspection heavily. The rather unedited doc is here: Introspector/LanguageTools/SilverScheme/Doc. The ontology used is here: Introspector/LanguageTools/SilverScheme/Ontology. In Silverscheme the class system is implemented on top of the prototype system. The prototype system is pretty easy: every object is a (changed) copy of another object. The object that it's a copy of is it's prototype. A few important concepts: * 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 will have a built-in KnowledgeInterchangeFormat reasoner for logic programming. Knowledge Interchange Format (KIF) is a way of representing knowledge in computers. It's also a quite simple logic language that's useful for reasoning about knowledge. At the moment KIF resources are rather spread across the web, here are a few links: * http://www.csee.umbc.edu/kse/kif/ * http://logic.stanford.edu/kif/ Introspector/KifTutorial Ideas for libraries and tools go at Introspector/LanguageTools/SilverScheme/Projects. A list of projects that will be needed to support SilverScheme and/or make it more fun. Needed: * A simple make system. * Interface to a GUI toolkit (preferably FOX, good test for the C++ invocation mechanism) Fun: * SilverSchemeSourcery Usually languages have small examples that aren't really fun. SilverScheme has a big fun example however, a full blown board/card game named Sourcery. Sourcery will be a good example of the logic capabilities of SilverScheme since it will use KIF to determine what is allowed and what not in a dynamic way.