Plang is coming along nicely. The core language and builtin predicate set are fairly close to complete. Performance is being worked on - I added an interpreter for the Warren Abstract Machine to speed up predicate execution (still more to do on that front).
A sample of the cool features that have been implemented to date:
- Fuzzy logic for reasoning about information that is "partially true".
- Definite clause grammars for natural language sentence parsing.
- Support for WordNet that provides access to information about hundreds of thousands of English nouns, verbs, adjectives, and adverbs.
- Object model and class definitions based on JavaScript's prototype-based inheritance scheme.
I'm starting to shift my focus to writing applications in Plang to see how well it tackles the traditional logic programming problems of theorem proving and AI. There's no point building a new language if it doesn't do the job better than the old one, after all.
