Skip to content

README.md

Latest commit

 

History

History
17 lines (10 loc) · 682 Bytes

README.md

File metadata and controls

17 lines (10 loc) · 682 Bytes

Logic

Implementation of a relational logic language in Python.

Design Philosophy

This is intended to be a small library that is easy to include in any projects where solving a logic problem is a core step. Efficiency is not the concern, usability is, but we do want searches to terminate whenever possible.

To develop, we proceed in two steps:

  1. Implement a core of muKanren (see references)
  2. Extend with helper functions to ease integration into a Python workflow

References

The OG reference Interesting use cases