1880 shaares
21 private links
21 private links
William Byrd, minKanren.org online logic scheme solver.
Interactive tutorial: http://io.livecode.ch/learn/webyrd/webmk
William Byrd, minKanren.org online logic scheme solver.
Interactive tutorial: http://io.livecode.ch/learn/webyrd/webmk