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
License
MIT LicenseFollow A declarative logic programming system
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of A declarative logic programming system!