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

Project Activity

See All Activity >

License

MIT License

Follow A declarative logic programming system

A declarative logic programming system Web Site

Other Useful Business Software
Train ML Models With SQL You Already Know Icon
Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
Try Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of A declarative logic programming system!

Additional Project Details

Languages

English

Intended Audience

Developers, Science/Research

User Interface

Web-based

Programming Language

Scheme

Related Categories

Scheme Database Software, Scheme Software Development Software, Scheme Mathematics Software

Registered

2004-01-15