[−][src]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. |