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
Functional XML parsing framework: SAX/DOM and SXML parsers with
support for XML Namespaces and validation. Related to SSAX are SXPath
queries and SXML transformations, with applications to XML/HTML
authoring and literate Scheme and XML programming.
Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform.
Geographic restrictions, eligibility, and terms apply.