Module mini_kanren::goals::numbers

Logic-compatible numbers.

The current implementation uses Peano numbers, which is horribly inefficient but very simple. Will serve as a baseline for future more efficient implementations.

Functions

addo	Creates a goal that succeeds if a + b equals c
gt1o	Creates a goal that succeeds if n is a positive number greater than one.
inco	Creates a goal that succeeds if b is one more than a.
mulo	Creates a goal that succeeds if a * b equals c
num	Create a numeric value
numbero	Creates a goal that succeeds if n is a natural number.
oneo	Creates a goal that succeeds if n is 1.
poso	Creates a goal that succeeds if n is a positive number greater than zero.
zero	Creates a goal that succeeds if n is 0.