API Reference Ckini v0.1.0

Imports primitives from Ckini.Goals and Ckini.Macro. Check out the documentation for these two modules for details.

Implementation of arithmetic using a binary representation of natural numbers.

An intermediate state of computation.

This module defines generic goals like eq.

A set of MiniKanren-like primitives.

This module represents a stream data type.

A substitution is set of associations. An association is a {var, val} pair. See the type specs below for details.

A logic term. It's either a variable or a list or a ground term represented by an Elixir term.

A logic variable