search

heyLu / mukanren-presentation

A presentation about µKanren
2 stars 1 forks source link

predicate for automatized solution added #3

Closed elpais closed 9 years ago

elpais commented 9 years ago

obviously this will run into an endless loop when applied to nonogramGen2