A declarative logic programming system with first-class relations
embedded in a pure functional subset of Scheme. The system has true
unions, fair scheduling, lexically-scoped logical variables,
set-theoretical semantics, high performance without cuts
The Scheme Natural Language Toolkit (S-NLTK) is a Scheme R6RS library for language and text processing, and various tasks related to symbolic and statistical analysis of language data.