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	InfoDownloads / Week
Parent folder
kanren-book-1.2	2006-02-15	0
Totals: 1 Item		0

Other Useful Business Software

Add Two Lines of Code. Get Full APM.

AppSignal installs in minutes and auto-configures dashboards, alerts, and error tracking.

Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.

Start Free

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Featured

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Recommended Projects

Logic Calculator
A Calculator to perform logical operations
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
Fuzzy Logic Tools
Fuzzy Logic Tools (FLT) is a C++ framework for storage, analysis and design of fully general multiple-input multiple-output (MIMO) Takagi-Sugeno fuzzy control systems, without constraints in the order of either the inputs or the output vectors.
Octave Fuzzy Logic Toolkit
A mostly MATLAB-compatible fuzzy logic toolkit for Octave. A complete function reference is located here: https://lmarkowsky.github.io/fuzzy-logic-toolkit/, and the official Octave documentation is here: https://www.octave.org/support If the function reference and Octave documentation do not address your questions or if you have comments, contact me at lmarkov@users.sourceforge.net.