Skip to content
minimal miniKanren implementation in Julia
Julia
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src
test
.travis.yml
LICENSE.md add license file Mar 4, 2016
README.md
REQUIRE

README.md

MuKanren.jl

Build Status

This package contains minimal miniKanren implementation in Julia, based on article microKanren: A Minimal Functional Core for Relational Programming by Jason Hemann and Daniel P. Friedman. In fact, this is just port for julia, it should behave like original minimal miniKanren implementation in Scheme in the world of Julia syntax.

Usage examples can be found in test folder.

Package allows to run typical miniKanren commands using julia macro commands.

MuKanren, like original miniKanren implementation, provides 3 operations:

  • equals function unifies two terms, analogue for == operator in original miniKanren Scheme implementation. This method takes exactly two parameters. Call examples:

    equals(x, 3)
    equals(3, 3)
    #etc.
  • @fresh macro introduces lexically-scoped variables, binds them to new logic variables and also performs conjunction of the relations within its body. Analogue for fresh in Scheme implementation. Call example:

@fresh((x, y), equals(x, "111"),
    equals(x, "22"), fives(y))

@fresh macro correctly expands when any number of variables are given in first parameter as a tuple (surrounded by parentheses), like in above sample call. It also correctly processes one or more input relations.

  • @conde macro is analogue for conde. It produces disjunction of conjunctions for given groups of relations. Each group of input relations, surrounded by parentheses (each tuple of relations) is expanded as conjunctions of these relations, and all such groups are expanded as disjunction of groups.

    Call examples:

    This macro call is expanded to disjunction of relations - each group of relations contains only one relation, parentheses are omitted:

    @conde(equals(3, 3), equals(4, 4))

    The same, but parentheses are shown:

    @conde((equals(3, 3)), (equals(4, 4))

    This macro call is expanded to conjunction of given relations:

    @conde((equals(3, 3), equals(4, 4))) #

    Variable names as @conde macro parameters are also correctly processed and merged to resulting relation.

    Complex function with @conde and @fresh:

There are also several other operations, including @conj_ (analogue for conj+, which forms conjunction for given terms), @disj_ (analogue for disj+, which forms disjunction for given terms).

To process relations built with equals, @fresh and @conde, I implemented also @run (and @run_star) macro commands. They behave like original run and run* commands described in original miniKanren, and can be called this way:

@run(1, q, @fresh((x, z),
  equals(x, z), equals(3, z), equals(q, x)))
@run_star(q, @fresh((x, z), equals(x, z), equals(3, z), equals(q, x)))

Both @run and @run_star correctly support and process multiple relations.

Complex @run example(with @conde, ``@freshandequals`):

result = @run(2, q,
  @fresh((w, x, y),
    @conde(
        (
          equals(list(x, w, x), q),
          equals(y, w)
        ),
        (
          equals(list(w, x, w), q),
          equals(y, w)
          )
      )))

All macro commands should correctly process inner function calls defined elsewhere. For example:

anyo = g -> @conde(g, anyo(g))

@run(10, q, anyo(@conde(
    equals(1, q),
    equals(2, q),
    equals(3, q)
    ))) #this call should return [1, 2, 3, 1, 2, 3, 1, 2, 3, 1]

Use @run_star wisely: when original miniKanren fails to infinite loop, julia implementation fails to StackOverflow exception.

TODOs

I plan to implement additional constraint operators and to add all tests from miniKanren's short interactive tutorial.

You can’t perform that action at this time.