Original Authors: Davy Temperley: http://theory.esm.rochester.edu/temperley/ Daniel Sleator: http://www.cs.cmu.edu/~sleator/ John Lafferty: http://www.cs.cmu.edu/~lafferty/ Much additional work has been done by many different developers. The current lead developer is Linas Vepstas: http://linas.org/ The SAT parser code was developed by Filip Maric as a part of the 2008 Google Summer of Code (GSoC) project for OpenCog. Arabic dictionaries were provided by Warren Casbeer and Jon Dehdari Farsi dictionaries were provided by Jon Dehdari Russian dictionaries were provided by Sergey Protasov Turkish dictionaries by Can John Bruce Support for Hebrew, and a complete overhaul of tokenization: Amir Plivatsky Some of the people who have contributed patches and fixes include: (In alphabetical order) Bill Hayes Borislav Iordanov Valery Kholodkov Vikas N Kumar Dom Lachowicz Per Larsson Stephen Leibowitz Marc Maurer Evgenii Philippov Sergey Protasov Sampo Pyysalo René Rhéaume Lian Ruiting Murilo Saraiva de Queiroz Fridrich Strba Simon Stuart Peter Szolovits Alexander Tkachuk Vincent Untz Bruce Wilcox