A declarative logic programming system Files

Status: Beta

Brought to you by: oleg

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
kanren-book	2006-02-15		0
kanren	2005-02-12		0
Totals: 2 Items			0

Other Useful Business Software

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

99.99% Uptime for MySQL and PostgreSQL Databases

Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.

Try Free

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

Recommended Projects

proof-logic
Proof Logic : A logical framework for theorem proving
HOL theorem-proving system
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
QMC Logic Minimizer
combinational logic functions minimization
Fay
A proper subset of Haskell that compiles to JavaScript
MeTA->phi
A user-friendly mathematical plotter. Its main purpose is displaying 2D/3D functions, defined in rectangular, polar and cylindrical coordinates, relations between variables, parametric curves/surfaces and vector fields. It is based on SDL and OpenGL

A declarative logic programming system Files

Get an email when there's a new version of A declarative logic programming system