Skip to content

flyjgh/MuKanren

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

relational programming

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published