minikanren

Contact owners and managers

1–30 of 226

Welcome to the miniKanren Google Group, for discussing miniKanren, core.logic, and logic-programming related topics. You might also be interested in the miniKanren website (http://minikanren.org/), GitHub repository (https://github.com/minikanren), and Twitter feed (https://twitter.com/miniKanren).

0 selected

Brett Schreiber, William Byrd5

7/23/23

What is the name of this relation?

Here is another use-case I found for riffleo: subsequenceo, a 3-relation between two lists and one of

unread,

What is the name of this relation?

Here is another use-case I found for riffleo: subsequenceo, a 3-relation between two lists and one of

7/23/23

6/27/22

Call for Proposals for miniKanren Workshop

Hi everyone! In case you are not aware, miniKanren Workshop will be held for its 4th year this

unread,

Call for Proposals for miniKanren Workshop

Hi everyone! In case you are not aware, miniKanren Workshop will be held for its 4th year this

6/27/22

Kakadu, William Byrd2

3/22/22

Tree automata and minikanren

Hi Dmitrii! About 7 years ago Michael Adams, Michael Ballantyne, and I tried to explore tree automata

unread,

Tree automata and minikanren

Hi Dmitrii! About 7 years ago Michael Adams, Michael Ballantyne, and I tried to explore tree automata

3/22/22

Steve Phillips, … silas poulson4

11/16/21

Let's use miniKanren/Barliman to optimize itself?

On Wednesday, 7 October 2020 at 04:09:26 UTC+1 William Byrd wrote: Why don't we work together,

unread,

Let's use miniKanren/Barliman to optimize itself?

On Wednesday, 7 October 2020 at 04:09:26 UTC+1 William Byrd wrote: Why don't we work together,

11/16/21

Greg Rosenblatt, Joe Corneli3

10/25/21

miniKanren Workshop now streaming on Youtube

The full workshop video is now available here: https://www.youtube.com/watch?v=xahH9KniUyY On Monday,

unread,

miniKanren Workshop now streaming on Youtube

The full workshop video is now available here: https://www.youtube.com/watch?v=xahH9KniUyY On Monday,

10/25/21

Greg Rosenblatt

8/20/21

miniKanren Workshop next week (Thursday, August 26th)

Hi everyone, The miniKanren workshop takes place next week (Thursday, August 26th) as part of ICFP.

unread,

miniKanren Workshop next week (Thursday, August 26th)

Hi everyone, The miniKanren workshop takes place next week (Thursday, August 26th) as part of ICFP.

8/20/21

zaoqi libre, Greg Rosenblatt2

8/16/21

Is it possible to construct a negation of a relation?

Hi zaoqi, Negation and self-implementation of miniKanren are interesting topics. Coincidentally, this

unread,

Is it possible to construct a negation of a relation?

Hi zaoqi, Negation and self-implementation of miniKanren are interesting topics. Coincidentally, this

8/16/21

Greg Rosenblatt, lz.w...@gmail.com4

6/27/21

Call for Papers--Third miniKanren and Relational Programming Workshop

Hi again, We've extended the miniKanren Workshop submission deadline by 7 days. Feel free to

unread,

Call for Papers--Third miniKanren and Relational Programming Workshop

Hi again, We've extended the miniKanren Workshop submission deadline by 7 days. Feel free to

6/27/21

thro...@gmail.com, Jason Hemann2

9/18/20

working through the book in drracket?

For strict adherence to the book, the back chapters, I would consider using the code exactly from the

unread,

working through the book in drracket?

For strict adherence to the book, the back chapters, I would consider using the code exactly from the

9/18/20

Amirouche Boubekki, … phil jones4

7/31/20

Parser fuzzing using minikanren

Might it not be easier to generate a lot of good JSON and then use a simple bit of code to make

unread,

Parser fuzzing using minikanren

Might it not be easier to generate a lot of good JSON and then use a simple bit of code to make

7/31/20

3/6/20

Call for Papers--Second miniKanren and Relational Programming Workshop

DEADLINE: 15 May 2020, AoE WEBSITE: https://icfp20.sigplan.org/home/minikanren-2020 LOCATION: Jersey

unread,

Call for Papers--Second miniKanren and Relational Programming Workshop

DEADLINE: 15 May 2020, AoE WEBSITE: https://icfp20.sigplan.org/home/minikanren-2020 LOCATION: Jersey

3/6/20

11/4/19

Attempt to understand micro-Kanren's search order through machine semantics

Hi, I'm relatively new to mini-Kanren, and trying to get intuition about the interleaving search

unread,

Attempt to understand micro-Kanren's search order through machine semantics

Hi, I'm relatively new to mini-Kanren, and trying to get intuition about the interleaving search

11/4/19

Dmitrii Kosarev

8/29/19

Photos from miniKanren workshop (ICFP 2019)

Hey, folks ICFP is finished and we wanted to write some advertising blog entry about our folks

unread,

Photos from miniKanren workshop (ICFP 2019)

Hey, folks ICFP is finished and we wanted to write some advertising blog entry about our folks

8/29/19

7/5/19

Best reference for Javascript implementation of cKanren

Please allow a newbie question: We have implemented "core" miniKanren in Javascript exactly

unread,

Best reference for Javascript implementation of cKanren

Please allow a newbie question: We have implemented "core" miniKanren in Javascript exactly

7/5/19

Amirouche Boubekki, Rick Moynihan5

6/20/19

minikanren + triple store = ❤

Hello Rick! Very interesting work. Sorry, for not responding earlier, I was busy and I was not sure

unread,

minikanren + triple store = ❤

Hello Rick! Very interesting work. Sorry, for not responding earlier, I was busy and I was not sure

6/20/19

5/13/19

2nd Call for Contributions: miniKanren 2019 [extended deadline May 27]

(Please note that the deadline has been extended!) DEADLINE (*extended*): 27 May 2019, (Any time in

unread,

2nd Call for Contributions: miniKanren 2019 [extended deadline May 27]

(Please note that the deadline has been extended!) DEADLINE (*extended*): 27 May 2019, (Any time in

5/13/19

4/8/19

Another possible venue for miniKanren-related papers

Hey everyone! I'm on the program committee for PPDP. This is another great venue for miniKanren

unread,

Another possible venue for miniKanren-related papers

Hey everyone! I'm on the program committee for PPDP. This is another great venue for miniKanren

4/8/19

4/5/19

Call for Proposals--First miniKanren and Relational Programming Workshop

DEADLINE: 15 May 2019, (Any time in the world) WEBSITE: https://icfp19.sigplan.org/home/minikanren-

unread,

Call for Proposals--First miniKanren and Relational Programming Workshop

DEADLINE: 15 May 2019, (Any time in the world) WEBSITE: https://icfp19.sigplan.org/home/minikanren-

4/5/19

Dmitrii Kosarev, … Amirouche Boubekki12

3/22/19

About internals of faster miniKanren

On Tuesday, March 21, 2017 at 4:59:50 PM UTC+1, William Byrd wrote: Hi Dmitrii! I'll give a brief

unread,

About internals of faster miniKanren

On Tuesday, March 21, 2017 at 4:59:50 PM UTC+1, William Byrd wrote: Hi Dmitrii! I'll give a brief

3/22/19

Cole Lyman, William Byrd2

2/21/19

Parallel/Distributed Constraint Solving in miniKanren

Hi Cole! This sounds like an interesting project, and is perhaps of relevance to the precision

unread,

Parallel/Distributed Constraint Solving in miniKanren

Hi Cole! This sounds like an interesting project, and is perhaps of relevance to the precision

2/21/19

William Byrd, Khoa Võ Đăng2

1/15/19

Set constraints

I am interested in this, do you have any update? On Saturday, February 15, 2014 at 9:56:03 AM UTC+2,

unread,

Set constraints

I am interested in this, do you have any update? On Saturday, February 15, 2014 at 9:56:03 AM UTC+2,

1/15/19

Amirouche Boubekki, … Apocalypse Mystic16

12/9/18

Feature structure and minikanren?

I suppose I had in mind in-line comments, but this will do. Without offering a complete solution, I

unread,

Feature structure and minikanren?

I suppose I had in mind in-line comments, but this will do. Without offering a complete solution, I

12/9/18

Brian Damgaard, … Dan Friedman7

11/1/18

"fresh" - why not "leto"?

The primary motivation was the writing came out much easier to talk about. Each conde line refreshes

unread,

"fresh" - why not "leto"?

The primary motivation was the writing came out much easier to talk about. Each conde line refreshes

11/1/18

Rick Moynihan, William Byrd3

9/10/18

Reasoned Schemer 2nd Edition

Hi Will, Thanks for taking the time to describe the changes between editions. I'll read through

unread,

Reasoned Schemer 2nd Edition

Hi Will, Thanks for taking the time to describe the changes between editions. I'll read through

9/10/18

Gordon Gustafson, … William Byrd3

9/10/18

What is goal tabling in Clojure core.logic?

Hi Gordon! > I've found these, but I'm still a little confused: > https://github.com/

unread,

What is goal tabling in Clojure core.logic?

Hi Gordon! > I've found these, but I'm still a little confused: > https://github.com/

9/10/18

9/9/18

Reasoned Schemer 2nd Edition

I've had a treasured copy of the reasoned schemer for many years, and recently noticed that

unread,

Reasoned Schemer 2nd Edition

I've had a treasured copy of the reasoned schemer for many years, and recently noticed that

9/9/18

Amirouche Boubekki

8/24/18

Let's organize a Scheme European Event at FOSDEM 2019

Hello schemers, Let's organize a Scheme event at FOSDEM 2019 in Bruxelles. I started a page on

unread,

Let's organize a Scheme European Event at FOSDEM 2019

Hello schemers, Let's organize a Scheme event at FOSDEM 2019 in Bruxelles. I started a page on

8/24/18

Jeff Ward, … Jason Hemann8

8/6/18

Problem with Reasoned Schemer 2nd ed's conj2 / append-map-inf in Racket

Thanks, Dakota and Jason! That was the problem. On Monday, August 6, 2018 at 4:20:58 PM UTC-4, Jason

unread,

Problem with Reasoned Schemer 2nd ed's conj2 / append-map-inf in Racket

Thanks, Dakota and Jason! That was the problem. On Monday, August 6, 2018 at 4:20:58 PM UTC-4, Jason

8/6/18

7/9/18

Updated CfP -- 2018 Scheme and Functional Programming Workshop

2018 Scheme and Functional Programming Workshop ** Updated Call for Papers ** DEADLINE: ** Updated **

unread,

Updated CfP -- 2018 Scheme and Functional Programming Workshop

2018 Scheme and Functional Programming Workshop ** Updated Call for Papers ** DEADLINE: ** Updated **

7/9/18

6/25/18

[CfP] 2018 Scheme and Functional Programming Workshop

Hello everyone! It's time to stop inventing awesome new uses of minikanren, and time to start

unread,

[CfP] 2018 Scheme and Functional Programming Workshop

Hello everyone! It's time to stop inventing awesome new uses of minikanren, and time to start

6/25/18

Search

Clear search

Close search

Google apps

Main menu