A declarative logic programming system
betaDescription
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
Categories
License
Update Notifications
User Reviews
Be the first to post a review of A declarative logic programming system!